8780 search results - page 1431 / 1756 » On the Feasibility of Consistent Computations |
198
click to vote
RTSS
2003
IEEE
16 years 2 hour ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
145
click to vote
DEBS
2003
ACM
15 years 12 months ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
178
click to vote
ISPD
2003
ACM
15 years 12 months ago
2003
ACM
For multi-gigahertz designs in nanometer technologies, data transfers on global interconnects take multiple clock cycles. In this paper, we propose a regular distributed register ...
183
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
Color is very useful in locating and recognizing objects that occur in artificial environments. The color histogram has shown its efficiency and advantages as a general tool for v...
167
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Peer-to-Peer (P2P) computing has been increasingly gaining interest. P2P architectures are no longer just used for sharing music files over the InP2P middleware systems attempt to...