7557 search results - page 726 / 1512 » Modeling Timed Concurrent Systems |
210
Voted
MM
2004
ACM
16 years 26 days ago
2004
ACM
We present a novel method for interactive retrieval of 3D shapes using physical objects. Our method is based on simple physical 3D interaction with a set of tangible blocks. As th...
170
Voted
ICCS
2004
Springer
16 years 24 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...
215
click to vote
ICC
2009
IEEE
15 years 5 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...
184
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...
203
click to vote
SIGSOFT
2010
ACM
15 years 2 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...