1643 search results - page 110 / 329 » Consistability: Describing Usually Consistent Systems |
BIOSTEC
2011
13 years 10 months ago
2011
In this article we describe a new wireless biosignal system which monitors in a long-term basis, the users at their homes. The system consists of wearable sensors that measure hear...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
IJCAI
1997
14 years 11 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...
ICTAI
2003
IEEE
15 years 3 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...