1860 search results - page 240 / 372 » A Temporal Logic of Robustness |
MTV
2006
IEEE
14 years 4 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
AAAI
1996
13 years 11 months ago
1996
Markov decision processes (MDPs) are a very popular tool for decision theoretic planning (DTP), partly because of the welldeveloped, expressive theory that includes effective solu...
CN
2007
13 years 10 months ago
2007
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...