1227 search results - page 39 / 246 » A Programming Model for Time-Synchronized Distributed Real-T... |
150
Voted
PODC
1990
ACM
15 years 6 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
130
click to vote
BROADNETS
2006
IEEE
15 years 8 months ago
2006
IEEE
Grid services have tremendously simplified the programming challenges in leveraging large-scale distributed comAt the same time, the increased level of abstraction reduces the op...
145
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
113
Voted
FMSD
2006
15 years 2 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
172
Voted
RTAS
2002
IEEE
15 years 7 months ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...