Sciweavers

6701 search results - page 935 / 1341
» Medical Embedded Systems
Sort
View
SCANGIS
2003
15 years 8 months ago
Defining GIS - Assessment of ScanGIS
Geographical Information Systems (GIS) are routinely used by public and private organisations and enterprises as well as lay persons. It is becoming an infrastructure and a precond...
Hans Skov-Petersen
AAAI
1998
15 years 8 months ago
Design Principles for Intelligent Environments
This paper describes design criteria for creating highly embedded, interactive spaces that we call Intelligent Environments. The motivation for building these systems is to bring ...
Michael H. Coen
WISES
2003
15 years 8 months ago
Built-In Fault Injectors - The Logical Continuation of BIST?
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...
Andreas Steininger, Babak Rahbaran, Thomas Handl
UAI
1996
15 years 8 months ago
Network Engineering for Complex Belief Networks
Developing a large belief network, like any large system, requires systems engineering to manage the design and construction process. We propose that network engineering follow a ...
Suzanne M. Mahoney, Kathryn B. Laskey
171
Voted
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 6 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur