Sciweavers

2525 search results - page 365 / 505
» A Framework for Semantic Gossiping
Sort
View
PKDD
2001
Springer
185views Data Mining» more  PKDD 2001»
15 years 10 months ago
Temporal Rule Discovery for Time-Series Satellite Images and Integration with RDB
Feature extraction and knowledge discovery from a large amount of image data such as remote sensing images have become highly required recent years. In this study, a framework for ...
Rie Honda, Osamu Konishi
SEMWEB
2001
Springer
15 years 10 months ago
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
Drew V. McDermott, Mark H. Burstein, Douglas R. Sm...
CSFW
2000
IEEE
15 years 10 months ago
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
Anthony H. Dekker
RTSS
1999
IEEE
15 years 10 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
ICPP
1998
IEEE
15 years 10 months ago
Concurrent SSA Form in the Presence of Mutual Exclusion
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer