Sciweavers

875 search results - page 41 / 175
» Syndication on the Web using a description logic approach
Sort
View
ICWE
2010
Springer
15 years 4 days ago
Rapid Development of Composite Applications Using Annotated Web Services
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
Lars Dannecker, Marius Feldmann, Tobias Nestler, G...
TODAES
2002
134views more  TODAES 2002»
15 years 1 months ago
False-noise analysis using logic implications
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
Alexey Glebov, Sergey Gavrilov, David Blaauw, Vlad...
DATE
2006
IEEE
141views Hardware» more  DATE 2006»
15 years 7 months ago
Evaluating coverage of error detection logic for soft errors using formal methods
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
Udo Krautz, Matthias Pflanz, Christian Jacobi 0002...
APWEB
2006
Springer
15 years 5 months ago
Named Graphs as a Mechanism for Reasoning About Provenance
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
E. Rowland Watkins, Denis A. Nicole
ER
2004
Springer
90views Database» more  ER 2004»
15 years 7 months ago
Semantic Interpretation and Matching of Web Services
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
Chang Xu, Shing-Chi Cheung, Xiangye Xiao