2136 search results - page 337 / 428 » A Game-Theoretic Operational Semantics |
238
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract-- We present a replication-based approach that realizes both fast and highly-available stream processing over wide area networks. In our approach, multiple operator replic...
266
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
244
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
In mobile and ambient environments, devices need to become autonomous, managing and resolving problems without interference from a user. The database of a (mobile) device can be s...
246
click to vote
ICDE
1997
IEEE
16 years 5 months ago
1997
IEEE
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
113
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...