Sciweavers

2542 search results - page 27 / 509
» An Operational Definition of Context
Sort
View
MOBILWARE
2009
ACM
15 years 7 months ago
Context Inference for Mobile Applications in the UPCASE Project
André C. Santos, Luís Tarrataca, Jo&...
CONTEXT
2007
Springer
15 years 6 months ago
Delimited Continuations in Operating Systems
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
Oleg Kiselyov, Chung-chieh Shan
PODS
2008
ACM
141views Database» more  PODS 2008»
16 years 18 days ago
On the complexity of deriving schema mappings from database instances
We introduce a theoretical framework for discovering relationships between two database instances over distinct and unknown schemata. This framework is grounded in the context of ...
Pierre Senellart, Georg Gottlob
84
Voted
FMCAD
2006
Springer
15 years 4 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
PERCOM
2007
ACM
16 years 2 days ago
Hoarding Context Information with Context Clusters
The components of a context-aware system can often become disconnected because of the dynamic environments within which they are deployed. Hoarding context information on the clie...
Myilone Anandarajah, Ricky Robinson, Jadwiga Indul...