7452 search results - page 1132 / 1491 » A Semantics for Multiprocessor Systems |
171
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
180
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
215
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
200
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
200
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...