1402 search results - page 71 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
141
click to vote
COOP
2004
15 years 4 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
140
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
134
Voted
SIGMOD
1999
ACM
15 years 7 months ago
1999
ACM
Research and products for the integration of heterogeneous legacy source databases in data warehousing have addressed numerous data quality problems in or between the sources. Suc...
153
Voted
FAC
2008
15 years 3 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
133
click to vote
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...