Sciweavers

3047 search results - page 32 / 610
» A Temporal Consensus Model
Sort
View
136
Voted
BIRTHDAY
2007
Springer
15 years 11 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
122
Voted
EDBT
2004
ACM
129views Database» more  EDBT 2004»
16 years 5 months ago
T-Araneus: Management of Temporal Data-Intensive Web Sites
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
Paolo Atzeni, Pierluigi Del Nostro
190
Voted
ESWS
2009
Springer
15 years 2 months ago
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
Jonas Tappolet, Abraham Bernstein
137
Voted
ER
2008
Springer
128views Database» more  ER 2008»
15 years 6 months ago
Temporal Constraints in Non-temporal Data Modelling Languages
It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated wit...
Peter McBrien
107
Voted
PODC
2006
ACM
15 years 11 months ago
Common2 extended to stacks and unbounded concurrency
Common2, the family of objects that implement and are wait-free implementable from 2 consensus objects, is extended inhere in two ways: First, the stack object is added to the fam...
Yehuda Afek, Eli Gafni, Adam Morrison