3192 search results - page 442 / 639 » Translating Model Simulators to Analysis Models |
113
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
123
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
142
click to vote
AGENTS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
146
Voted
IM
2003
15 years 5 months ago
2003
Abstract: A probabilistic event-driven fault localization technique is presented, which uses a symptom-fault map as a fault propagation model. The technique isolates the most proba...
128
click to vote
AAAI
1994
15 years 5 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...