Sciweavers

1636 search results - page 193 / 328
» Reasoning About Quantum Systems
Sort
View
IWSAS
2001
Springer
15 years 10 months ago
Model-Based Diagnosis for Information Survivability
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
Howard E. Shrobe
EWCBR
1998
Springer
15 years 10 months ago
On Bayesian Case Matching
Abstract. Case retrieval is an important problem in several commercially signi cant application areas, such as industrial con guration and manufacturing problems. In this paper we ...
Petri Kontkanen, Petri Myllymäki, Tomi Siland...
SEMWEB
2009
Springer
16 years 27 days ago
KOSIMap: Ontology Alignments Results for OAEI 2009
Abstract. Ontology mapping has been recognised as an important approach to identifying similar information in heterogeneous ontologies. The Knowledge Organisation System Implicit M...
Quentin Reul, Jeff Z. Pan
FMLDO
1999
Springer
137views Database» more  FMLDO 1999»
15 years 10 months ago
Federated Transaction Management with Snapshot Isolation
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
Ralf Schenkel, Gerhard Weikum, Norbert Weiße...
IWC
2007
134views more  IWC 2007»
15 years 6 months ago
Disrupting digital library development with scenario informed design
In recent years, there has been great interest in scenario-based design and other forms of user-centred design. However, there are many design processes that, often for good reaso...
Ann Blandford, Suzette Keith, Richard Butterworth,...