7311 search results - page 142 / 1463 » Time in State Machines |
126
click to vote
SRDS
2000
IEEE
15 years 8 months ago
2000
IEEE
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
164
click to vote
AAAI
2008
15 years 6 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
145
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
127
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
158
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...