1980 search results - page 206 / 396 » Compositional Model Checking of Real Time Systems |
172
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
We propose a trace fitting algorithm for Markovian Arrival Processes (MAPs) that can capture statistics of any order of interarrival times between measured events. By studying re...
128
click to vote
JCP
2008
15 years 3 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
124
Voted
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
138
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
142
click to vote
ENTCS
2008
15 years 3 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...