8928 search results - page 197 / 1786 » Modeling Current Events |
200
Voted
ICDE
2001
IEEE
16 years 4 months ago
2001
IEEE
In this paper, we present READY, a multi-threaded implementation of the CORBA Notification Service. The main contribution of our work is the design and development of scalable sol...
106
click to vote
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
MFCS
1993
Springer
15 years 7 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
99
Voted
WSC
2000
15 years 4 months ago
2000
This paper describes the development of a traffic-modeling tool as an Arena template and two applications of it: one to evaluate alternative designs for the road network on the pr...
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...