2678 search results - page 492 / 536 » Operational Semantics of Transactions |
119
click to vote
HIPC
2009
Springer
14 years 11 months ago
2009
Springer
Supercomputers are prone to frequent faults that adversely affect their performance, reliability and functionality. System logs collected on these systems are a valuable resource o...
132
Voted
DSS
2002
15 years 1 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
142
click to vote
AAMAS
2011
Springer
14 years 8 months ago
2011
Springer
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
144
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
DALT
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...