529 search results - page 32 / 106 » Causal Time Calculus |
126
click to vote
CP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
101
click to vote
CONNECTION
2006
15 years 1 months ago
2006
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
112
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
114
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
116
click to vote
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...