Sciweavers

CIKM
2005
Springer
13 years 10 months ago
Interconnection semantics for keyword search in XML
A framework for describing semantic relationships among nodes in XML documents is presented. In contrast to earlier work, the XML documents may have ID references (i.e., they corr...
Sara Cohen, Yaron Kanza, Benny Kimelfeld, Yehoshua...
BPM
2005
Springer
129views Business» more  BPM 2005»
13 years 10 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
WCRE
2005
IEEE
13 years 10 months ago
Enriching Reverse Engineering with Semantic Clustering
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...
Adrian Kuhn, Stéphane Ducasse, Tudor G&icir...
RTSS
2005
IEEE
13 years 10 months ago
Trading End-to-End Latency for Composability
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
Slobodan Matic, Thomas A. Henzinger
ICALT
2005
IEEE
13 years 10 months ago
Managing the Semantic Aspects of Learning Using the Knowledge Life Cycle
In this paper we examine the semantic aspects of learning from both pedegogical and technological points of view. We suggest that if semantics are to fullfil their potential in th...
Feng Tao, David E. Millard, Arouna Woukeu, Hugh C....
SAC
2006
ACM
13 years 10 months ago
Trading services in ontology-driven markets
In recent years, Web Services have become the key technology for building flexible and interoperable computing infrastructure. However, to realize the vision of a full-fletched ...
Steffen Lamparter, Björn Schnizler
ACMMSP
2006
ACM
250views Hardware» more  ACMMSP 2006»
13 years 11 months ago
What do high-level memory models mean for transactions?
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
Dan Grossman, Jeremy Manson, William Pugh
IEEECIT
2006
IEEE
13 years 11 months ago
Generic Modeling and Annotation of the Dance Video Semantics
Dance is the real cultural wealth of any nation and dance media is the source for learning the dance steps by the present and future generation of students. Dance videos exhibit r...
Balakrishnan Ramadoss, Kannan Rajkumar
SEMWEB
2007
Springer
13 years 11 months ago
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
Christine Golbreich, Matthew Horridge, Ian Horrock...
SEMWEB
2007
Springer
13 years 11 months ago
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. ...