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...
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 ...
— 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 ...
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 ...
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 ...