631 search results - page 22 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
ZUM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
ASWEC
2008
IEEE
14 years 3 months ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
DAC
1997
ACM
14 years 2 days ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
NGITS
1999
Springer
14 years 23 days ago
1999
Springer
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...