11436 search results - page 172 / 2288 » Modeling Real Reasoning |
SIGMOBILE
2008
15 years 3 months ago
2008
CORR
2004
Springer
15 years 2 months ago
2004
Springer
EOR
2002
15 years 2 months ago
2002
ANSOFT
1999
15 years 2 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
124
click to vote
ERCIM
2008
15 years 2 months ago
2008
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...