2661 search results - page 343 / 533 » A Semantics for Abstraction |
180
click to vote
LPNMR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
200
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
161
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
168
click to vote
USENIX
1994
15 years 8 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
168
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...