804 search results - page 133 / 161 » On the Termination of the Chase Algorithm |
184
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
143
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
142
click to vote
SOFSEM
2004
Springer
15 years 11 months ago
2004
Springer
Our aim is to investigate the factors which determine the intrinsic hardness of constructing a solution to any particular constraint satisfaction problem instance, regardless of th...
138
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— The Medium Access Control (MAC) scheme proposed by DAVIC/DVB, IEEE 802.14 and DOCSIS for the upstream channel of Hybrid Fiber Coaxial (HFC) access networks is based on ...
154
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Third generation code-division multiple access (CDMA) systems propose to provide packet data service through a high speed shared channel with intelligent and fast scheduling at...