7557 search results - page 7 / 1512 » Modeling Timed Concurrent Systems |
116
click to vote
NJC
2002
15 years 28 days ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
IFM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
101
click to vote
HPDC
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract Metacomputing is the seamless application of geographically-separated distributed computing resources to user applications. We consider the scheduling of metaapplications;...
122
click to vote
CP
2001
Springer
15 years 5 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...
111
click to vote
CERA
2002
15 years 1 months ago
2002
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...