Sciweavers

1402 search results - page 161 / 281
» Distributed Integrity Checking for Systems with Replicated D...
Sort
View
ACISICIS
2009
IEEE
16 years 1 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
16 years 10 days 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»
16 years 1 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
16 years 26 days 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
16 years 1 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...