7557 search results - page 25 / 1512 » Modeling Timed Concurrent Systems |
116
click to vote
CDVE
2005
Springer
15 years 6 months ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...
117
click to vote
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
In collaboration architectures, a computer must perform both processing and transmission tasks. Intuitively, it seems that these independent tasks should be executed in concurrent ...
ENTCS
2007
15 years 1 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
110
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...