2844 search results - page 195 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
165
Voted
FAST
2009
15 years 3 months ago
2009
Fault-tolerant services typically make assumptions about the type and maximum number of faults that they can tolerate while providing their correctness guarantees; when such a fau...
173
Voted
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
131
click to vote
IPPS
2007
IEEE
16 years 13 days ago
2007
IEEE
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...
164
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
161
click to vote
IJCIS
1998
15 years 5 months ago
1998
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...