Sciweavers

3233 search results - page 209 / 647
» Validation Method for Intelligent Systems
Sort
View
WSC
2008
15 years 6 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
152
Voted
AAAI
1997
15 years 5 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
114
Voted
HYBRID
2007
Springer
15 years 10 months 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...
143
Voted
SAC
2005
ACM
15 years 9 months 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
114
Voted
IADIS
2003
15 years 5 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