Sciweavers

1643 search results - page 103 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
ICDCSW
2003
IEEE
15 years 3 months ago
Smart Furniture: Improvising Ubiquitous Hot-Spot Environment
We developed Smart Furniture, which extemporaneously converts the legacy non-smart space into a Smart Hot-spot which consists of computational services. Since the Smart Furniture ...
Masaki Ito, Akiko Iwaya, Masato Saito, Kenichi Nak...
AGENTS
1999
Springer
15 years 2 months ago
Agent Aided Aircraft Maintenance
Aircraft maintenance is performed by mechanics who are required, by regulation, to consult expert engineers for repair instructions and approval. In addition to their own experien...
Onn Shehory, Katia P. Sycara, Gita Sukthankar, Vic...
RTSS
1998
IEEE
15 years 2 months ago
The Time-Triggered Model of Computation
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
Hermann Kopetz
88
Voted
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
15 years 2 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...
WMRD
1992
15 years 1 months ago
A Replicated Monitoring Tool
Modeling the reliability of distributed systems requires a good understanding of the reliability of the components. Careful modeling allows highly fault-tolerant distributed appli...
Darrell D. E. Long