Sciweavers

470 search results - page 59 / 94
» The Foundations for Provenance on the Web
Sort
View
SIGSOFT
2003
ACM
14 years 10 months ago
Runtime safety analysis of multithreaded programs
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
Koushik Sen, Grigore Rosu, Gul Agha
WWW
2005
ACM
14 years 9 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
OTM
2007
Springer
14 years 3 months ago
Semantically Resolving Type Mismatches in Scientific Workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
Kheiredine Derouiche, Denis A. Nicole
WEBI
2005
Springer
14 years 2 months ago
Multi-Source Knowledge Bases and Ontologies with Multiple Individual and Social Viewpoints
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
Matthias Nickles, Ruth Cobos, Gerhard Weiß, ...
APWEB
2006
Springer
14 years 26 days ago
Tourism Guided Information System for Location-Based Services
Mobile information community develops quickly, as mobile telecommunication technology matches to the third generation. XML-based GIS becomes a global standard and the foundation. R...
Chang-Won Jeong, Yeong-Jee Chung, Su-Chong Joo, Jo...