939 search results - page 143 / 188 » Semantic Abstraction and Quantum Computation |
LPNMR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
RTSS
2005
IEEE
14 years 3 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
CODES
1999
IEEE
14 years 2 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...