307 search results - page 23 / 62 » On the Integrity of Lightweight Checkpoints |
DLOG
2009
14 years 10 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
125
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
84
Voted
IWQOS
2001
Springer
15 years 4 months ago
2001
Springer
We present and evaluate two experimental extensions to RSVP in terms of protocol specification and implementation. These extensions are targeted at apparent shortcomings of RSVP to...
106
click to vote
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
MOBIDE
2005
ACM
15 years 6 months ago
2005
ACM
We describe the DAIMON system for data integration of nomadic data. DAIMON is based on an extension of the mediator-wrapper architecture, where each node is a mediator of its own ...