Sciweavers

5101 search results - page 103 / 1021
» Capturing Context Requirements
Sort
View
EDBT
2004
ACM
133views Database» more  EDBT 2004»
14 years 8 months ago
eVitae: An Event-Based Electronic Chronicle
We present an event based system for storing, managing, and presenting personal multimedia history. The development of such systems is a challenge because information about person...
Bin Wu, Rahul Singh, Punit Gupta, Ramesh Jain
ESOP
2010
Springer
14 years 5 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
IPSN
2009
Springer
14 years 2 months ago
Algebraic approach to recovering topological information in distributed camera networks
Camera networks are widely used for tasks such as surveillance, monitoring and tracking. In order to accomplish these tasks, knowledge of localization information such as camera l...
Edgar J. Lobaton, Parvez Ahammad, Shankar Sastry
WDAG
2009
Springer
91views Algorithms» more  WDAG 2009»
14 years 2 months ago
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
Abstract. Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model t...
Henrique Moniz, Nuno Ferreira Neves, Miguel Correi...
DATE
2008
IEEE
78views Hardware» more  DATE 2008»
14 years 2 months ago
Transistor-Specific Delay Modeling for SSTA
SSTA has received a considerable amount of attention in recent years. However, it is a general rule that any approach can only be as accurate as the underlying models. Thus, varia...
Brian Cline, Kaviraj Chopra, David Blaauw, Andres ...