1633 search results - page 288 / 327 » On the Verification of Temporal Properties |
112
click to vote
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
INFOCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— Fluctuations in network conditions are a common phenomenon. They arise in the current wired Internet due to changes in demand, and in wireless networks due to changing ...
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
135
click to vote
SC
2005
ACM
15 years 5 months ago
2005
ACM
Terascale simulations produce data that is vast in spatial, temporal, and variable domains, creating a formidable challenge for subsequent analysis. Feature extraction as a data r...
151
click to vote
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...