804 search results - page 126 / 161 » On the Termination of the Chase Algorithm |
111
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Cell phones are increasingly becoming attractive targets of various worms, which cause the leakage of user privacy, extra service charges and depletion of battery power. In this w...
103
click to vote
MOBISYS
2005
ACM
16 years 9 days ago
2005
ACM
The widespread availability of 802.11-based hardware has made it the premier choice of both researchers and practitioners for developing new wireless networks and applications. Ho...
123
Voted
PLPV
2009
ACM
15 years 9 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
116
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Cellular systems in general suffer from co-channel interference, when simultaneous transmissions in other cells use the same physical resources. In order to mitigate such co-cha...
92
Voted
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...