Sciweavers

523 search results - page 91 / 105
» A Formal Account of WS-BPEL
Sort
View
DICS
2006
14 years 4 days ago
Algorithms for Failure Protection in Large IP-over-fiber and Wireless Ad Hoc Networks
We address failure location and restoration in both optical and wireless ad hoc networks. First, we show how Maximum Likelihood inference can improve failure location algorithms in...
Frederick Ducatelle, Luca Maria Gambardella, Macie...
DILS
2006
Springer
14 years 4 days ago
Towards a Model of Provenance and User Views in Scientific Workflows
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davi...
ER
2006
Springer
99views Database» more  ER 2006»
14 years 3 days ago
Ontology with Likeliness and Typicality of Objects in Concepts
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
Ching-man Au Yeung, Ho-fung Leung
ATAL
2003
Springer
14 years 3 days ago
A configurable mobile agent data protection protocol
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
Paolo Maggi, Riccardo Sisto
KR
2000
Springer
14 years 1 days ago
A Logic Based Language for Parametric Inheritance
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
Hasan M. Jamil