2678 search results - page 346 / 536 » Operational Semantics of Transactions |
137
Voted
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
167
Voted
DALT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
137
Voted
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
122
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
Our Workgroup Cache system operates as a virtual intranet, introducing a shared cache to members of the same workgroup. Users may be members of multiple workgroups at the same tim...
148
click to vote
LICS
1993
IEEE
15 years 8 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...