1419 search results - page 209 / 284 » Notes on Formalizing Context |
88
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Relational databases are periodically vacuumed to remove tuples that have expired. During the discovery phase of litigation, plaintiffs ask defendants for access to information re...
110
click to vote
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
97
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
110
Voted
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...