1393 search results - page 187 / 279 » From Models to Interactive Systems Tool Support and XIML |
151
click to vote
WSC
2007
15 years 8 months ago
2007
Decision making in complex environments in the face of uncertain and missing information is a daunting task. We describe a modeling and simulation based approach to providing plan...
205
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
151
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
The Knowledge Environment for Collaborative Science (KnECS) is an open source informatics toolkit designed to enable knowledge grids that interconnect science communities, unique ...
143
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
177
click to vote
WSC
1998
15 years 7 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...