6308 search results - page 471 / 1262 » Modeling Urgency in Timed Systems |
155
click to vote
ICCS
2004
Springer
16 years 8 days ago
2004
Springer
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
194
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Generative models are created to be used in the design and performance assessment of high layer wireless communication protocols and some error control strategies. Genera...
164
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
193
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
189
click to vote
CP
2001
Springer
15 years 11 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...