7557 search results - page 36 / 1512 » Modeling Timed Concurrent Systems |
117
click to vote
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
103
click to vote
CONCUR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
135
click to vote
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
130
click to vote
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
106
click to vote
FORTE
2001
15 years 2 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...