Sciweavers

3233 search results - page 209 / 647
» Validation Method for Intelligent Systems
Sort
View
WSC
2008
15 years 8 months ago
Emulation in manufacturing engineering processes
In our research, the manufacturing system emulation technology is proposed as one of the frontloading methods in the manufacturing system implementation phase. In this paper, the ...
Hironori Hibino, Yoshiro Fukuda
AAAI
1997
15 years 7 months ago
Building Concept Representations from Reusable Components
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
Peter Clark, Bruce W. Porter
HYBRID
2007
Springer
16 years 19 days ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
SAC
2005
ACM
16 years 1 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
IADIS
2003
15 years 7 months ago
Reconsidering the "Software Crisis": A Study of Hypermedia Systems Development
With the advent and growth of the Web, hypermedia information systems have propagated within and beyond organizations. Much concern has been expressed about the quality of hyperme...
Michael Lang