Sciweavers

5122 search results - page 177 / 1025
» Comparing Consequence Relations
Sort
View
HOTDEP
2008
157views Hardware» more  HOTDEP 2008»
15 years 6 months ago
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
Database systems are a key component behind many of today's computer systems. As a consequence, it is crucial that database systems provide correct and continuous service des...
Nuno M. Preguiça, Rodrigo Rodrigues, Crist&...
BPM
2008
Springer
87views Business» more  BPM 2008»
15 years 5 months ago
Detecting and Resolving Process Model Differences in the Absence of a Change Log
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
Jochen Malte Küster, Christian Gerth, Alexand...
141
Voted
ESAW
2008
Springer
15 years 5 months ago
Specifying Open Agent Systems: A Survey
Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems a...
Alexander Artikis, Jeremy V. Pitt
127
Voted
FMCAD
2008
Springer
15 years 5 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton
135
Voted
EDM
2010
145views Data Mining» more  EDM 2010»
15 years 5 months ago
Mining Rare Association Rules from e-Learning Data
Rare association rules are those that only appear infrequently even though they are highly associated with very specific data. In consequence, these rules can be very appropriate f...
Cristóbal Romero, José Raúl R...