Sciweavers

3793 search results - page 169 / 759
» Expressive Description Logics
Sort
View
SEMWEB
2004
Springer
15 years 10 months ago
Enhancing Web Services Description and Discovery to Facilitate Composition
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
Preeda Rajasekaran, John A. Miller, Kunal Verma, A...
ATS
2003
IEEE
98views Hardware» more  ATS 2003»
15 years 10 months ago
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh
IM
2007
15 years 6 months ago
Using the Network Description Language in Optical Networks
— Current research networks allow end users to build their own application-specific connections (lightpaths) and Optical Private Networks (OPNs). This requires a clear communica...
Jeroen van der Ham, Paola Grosso, Ronald van der P...
JNCA
2007
87views more  JNCA 2007»
15 years 4 months ago
Representing and analysing composed web services using Cress
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
Kenneth J. Turner
140
Voted
SPLC
2008
15 years 6 months ago
Feature Descriptions for Context-oriented Programming
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...
Pascal Costanza, Theo D'Hondt