7452 search results - page 1154 / 1491 » A Semantics for Multiprocessor Systems |
185
Voted
LPNMR
2007
Springer
16 years 27 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...
160
click to vote
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
187
click to vote
NLDB
2007
Springer
16 years 27 days ago
2007
Springer
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
153
click to vote
PROMAS
2007
Springer
16 years 27 days ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
143
click to vote
TGC
2007
Springer
16 years 26 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...