670 search results - page 42 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
109
click to vote
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
121
click to vote
ECRTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...
116
click to vote
ENTCS
2006
15 years 16 days ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
105
click to vote
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
122
click to vote
MSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...