Sciweavers

3686 search results - page 406 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
PODC
2004
ACM
16 years 7 days ago
Group membership: a novel approach and the first single-round algorithm
We establish a new worst-case upper bound on the Membership problem: We present a simple algorithm that is able to always achieve Agreement on Views within a single message latenc...
Roger I. Khazan
SIGSOFT
2005
ACM
16 years 7 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
UCS
2007
Springer
16 years 28 days ago
Activity Recognition Based on Intra and Extra Manipulation of Everyday Objects
Recognizing activities based on an actor’s interaction with everyday objects is an important research approach within ubiquitous computing. We present a recognition approach whic...
Dipak Surie, Fabien Lagriffoul, Thomas Pederson, D...
FORTE
2009
15 years 4 months ago
Typing Component-Based Communication Systems
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
Michael Lienhardt, Claudio Antares Mezzina, Alan S...
DILS
2005
Springer
16 years 10 days ago
Hybrid Integration of Molecular-Biological Annotation Data
: We present a new approach to integrate annotation data from public sources for the expression analysis of genes and proteins. Expression data is materialized in a data warehouse ...
Toralf Kirsten, Hong Hai Do, Christine Körner...