Sciweavers

14306 search results - page 566 / 2862
» Database System Concepts
Sort
View
ICDE
2008
IEEE
209views Database» more  ICDE 2008»
16 years 8 months ago
Distributed Monitoring of Peer-to-Peer Systems
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
Serge Abiteboul, Bogdan Marinoiu, Pierre Bourhis
SIGCSE
2000
ACM
120views Education» more  SIGCSE 2000»
15 years 11 months ago
PILOT: an interactive tool for learning and grading
We describe a Web-based interactive system, called PILOT, for testing computer science concepts. The strengths of PILOT are its universal access and platform independence, its use...
Stina S. Bridgeman, Michael T. Goodrich, Stephen G...
STACS
1991
Springer
15 years 10 months ago
The RELVIEW-System
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
Rudolf Berghammer, Gunther Schmidt
ASM
2008
ASM
15 years 9 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
AAAI
2010
15 years 8 months ago
Finding Semantic Inconsistencies in UMLS using Answer Set Programming
We introduce a new method to find semantic inconsistencies (i.e., concepts with erroneous synonymity) in the Unified Medical Language System (UMLS). The idea is to identify the in...
Halit Erdogan, Olivier Bodenreider, Esra Erdem