Sciweavers

6308 search results - page 328 / 1262
» Modeling Urgency in Timed Systems
Sort
View
ISTA
2003
15 years 8 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
EDBT
2006
ACM
112views Database» more  EDBT 2006»
16 years 6 months ago
Indexing Shared Content in Information Retrieval Systems
Abstract. Modern document collections often contain groups of documents with overlapping or shared content. However, most information retrieval systems process each document separa...
Andrei Z. Broder, Nadav Eiron, Marcus Fontoura, Mi...
ER
2008
Springer
99views Database» more  ER 2008»
15 years 8 months ago
Relaxed Compliance Notions in Adaptive Process Management Systems
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
Stefanie Rinderle-Ma, Manfred Reichert, Barbara We...
TKDE
2008
107views more  TKDE 2008»
15 years 6 months ago
Adaptive Broadcasting for Similarity Queries in Wireless Content Delivery Systems
We present a new adaptive and energy-efficient broadcast model to support flexible responses to client queries. Clients do not have to request documents by name, since they may kno...
Wei Wang, Chinya V. Ravishankar
JAL
2008
74views more  JAL 2008»
15 years 6 months ago
Solving satisfiability in the tile assembly model with a constant-size tileset
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
Yuriy Brun