513 search results - page 13 / 103 » Operational and abstract semantics of the query language G-L... |
149
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
152
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
163
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Instant Messaging is in addition to Web and Email the most popular service on the Internet. With xOperator we demonstrate the implementation of a strategy which deeply integrates I...
166
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Instant Messaging (IM) is in addition to Web and Email the most popular service on the Internet. With xOperator we present a strategy and implementation which deeply integrates Ins...
143
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...