1980 search results - page 130 / 396 » Compositional Model Checking of Real Time Systems |
113
click to vote
IJFCS
2006
15 years 1 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
141
click to vote
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
Currently, most human action recognition systems are trained with feature sets that have no missing data. Unfortunately, the use of human pose estimation models to provide more des...
126
click to vote
ICEIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
106
click to vote
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...