10159 search results - page 302 / 2032 » System Design Validation Using Formal Models |
132
Voted
ECEASST
2008
15 years 3 months ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
147
Voted
FOIS
2006
15 years 5 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
96
Voted
ET
2007
15 years 3 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
155
Voted
VCHCI
1993
15 years 7 months ago
1993
This paper uses results from research in Clinical Information Systems (CIS) design, the psychology of clinical reasoning, and Ecological Interface Design (EID) to motivate general ...
132
Voted
FLAIRS
2006
15 years 5 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...