590 search results - page 99 / 118 » From Relational Specifications to Logic Programs |
114
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...
132
click to vote
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
172
Voted
DSOM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract overlay networks have been considered enablers of efficient management for decentralized, large scale service deployments. A Content Delivery Network (CDN) is an example o...
147
click to vote
PPOPP
2010
ACM
16 years 14 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
108
click to vote
AIML
2004
15 years 4 months ago
2004
We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...