Sciweavers

5477 search results - page 695 / 1096
» Contexts, Domains, and Software
Sort
View
SCS
2003
15 years 8 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid
WSCG
2003
228views more  WSCG 2003»
15 years 8 months ago
The Escritoire: A Personal Projected Display
The Escritoire is a horizontal desk surface that uses two overlapping digital projectors to create a foveal display – a large interactive surface that has a high-resolution area...
Mark Ashdown, Peter Robinson
CASCON
1993
114views Education» more  CASCON 1993»
15 years 8 months ago
A transaction manager component for cooperative transaction models
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
George T. Heineman
SOSP
1989
ACM
15 years 8 months ago
Threads and Input/Output in the Synthesis Kernel
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
Henry Massalin, Calton Pu
AMI
2008
Springer
15 years 8 months ago
JXTA-SOAP: Implementing Service-Oriented Ubiquitous Computing Platforms for Ambient Assisted Living
The challenging context of Ambient Assisted Living (AAL) demands for a service-oriented technological shift in the field of ubiquitous computing. Recently, novel paradigms have be...
Michele Amoretti, Maria Chiara Laghi, Francesco Za...