10159 search results - page 668 / 2032 » System Design Validation Using Formal Models |
223
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
182
Voted
AIED
2007
Springer
16 years 1 months ago
2007
Springer
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
165
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
165
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
199
click to vote
WSC
1998
15 years 8 months ago
1998
An attractive feature of many simulation packages is their availability on desktop computers and their potential for allowing the user to run a simulation model under different co...