1438 search results - page 128 / 288 » An Expressive Extension of TLC |
158
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
194
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
170
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
A scalable and expressive peer-to-peer (P2P) networking and computing framework requires efficient resource discovery services. Here we propose NEVRLATE, for Network-Efficient V...
166
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
176
click to vote
GECON
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The commercial availability of computational resources enable consumers to scale their applications on-demand. However, it is necessary for both consumers and providers o...