1711 search results - page 91 / 343 » Consistency management in Deno |
174
click to vote
AUSDM
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an application of association rule mining in compliance in the context of health service management. There are approximately 500 million transactions processed...
165
click to vote
IADIS
2004
15 years 7 months ago
2004
With the growth in digital libraries and standardization of protocols for metadata sharing, it is becoming feasible to build federated discovery services which aggregate metadata ...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
203
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
191
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
In this demonstration we present BRRL, a library for making distributed main-memory applications fault tolerant. BRRL is optimized for cloud applications with frequent points of c...