1972 search results - page 120 / 395 » The Timed Asynchronous Distributed System Model |
137
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
133
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
115
click to vote
IPPS
1998
IEEE
15 years 6 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...
109
click to vote
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
117
click to vote
IOT
2010
14 years 11 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...