Sciweavers

1402 search results - page 161 / 281
» Distributed Integrity Checking for Systems with Replicated D...
Sort
View
ACISICIS
2009
IEEE
15 years 10 months ago
BackupIT: An Intrusion-Tolerant Cooperative Backup System
Reliable storage of large amounts of data is always a delicate issue. Availability, efficiency, data integrity, and confidentiality are some features a data backup system should...
Sérgio Raymundo Loest, Marcelo Cheminn Madr...
LPNMR
2005
Springer
15 years 9 months ago
An ID-Logic Formalization of the Composition of Autonomous Databases
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
Bert Van Nuffelen, Ofer Arieli, Alvaro Corté...
WECWIS
2008
IEEE
100views ECommerce» more  WECWIS 2008»
15 years 10 months ago
ISENS: A Multi-ontology Query System for the Semantic Deep Web
We present ISENS, a distributed, end-to-end, ontologybased information integration system. In response to a user’s query, our system is capable of retrieving facts from data sou...
Abir Qasem, Dimitre A. Dimitrov, Jeff Heflin
IEEEARES
2006
IEEE
15 years 10 months ago
Censorship-Resistant and Anonymous P2P Filesharing
We present a P2P filesharing system that allows redundant storage of shared files in a way that no participating server ever stores data that could compromise its operator. Inst...
Regine Endsuleit, Thilo Mie
ILP
2007
Springer
15 years 10 months ago
Applying Inductive Logic Programming to Process Mining
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Serg...