Sciweavers

5604 search results - page 184 / 1121
» Becoming Increasingly Reliable
Sort
View
ICAIL
1999
ACM
15 years 10 months ago
Knowledge criteria for the evaluation of legal beliefs
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
Laurens Mommers, H. Jaap van den Herik
ICTAI
1999
IEEE
15 years 10 months ago
Cognitive Packet Networks
Reliability, security, scalability and QoS (Quality-of-Service) have become key issues as we envision the future Internet. This paper presents the "Cognitive Packet Network (C...
Erol Gelenbe, Zhiguang Xu, Esin Seref
ISORC
1999
IEEE
15 years 10 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
HICSS
1996
IEEE
105views Biometrics» more  HICSS 1996»
15 years 10 months ago
DEVS-C++: A High Performance Modelling and Simulation Environment
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
Bernard P. Zeigler, Yoonkeon Moon, Doohwan Kim, Je...
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 10 months ago
Mapping Tasks into Fault Tolerant Manipulators
The application of robots in critical missions in hazardous environments requires the development of reliable or fault tolerant manipulators. In this paper, we define fault tolera...
Christiaan J. J. Paredis, Pradeep K. Khosla