Sciweavers

3645 search results - page 634 / 729
» Implementing mapping composition
Sort
View
SERVICES
2010
159views more  SERVICES 2010»
14 years 11 months ago
LOG4SWS.KOM: Self-Adapting Semantic Web Service Discovery for SAWSDL
In recent years, a number of approaches to semantic Web service matchmaking have been proposed. Most of these proposals are based on discrete and thus relatively coarse Degrees of...
Stefan Schulte 0002, Ulrich Lampe, Julian Eckert, ...
GRAPHICSINTERFACE
2007
14 years 11 months ago
Wavelet encoding of BRDFs for real-time rendering
Acquired data often provides the best knowledge of a material’s bidirectional reflectance distribution function (BRDF). Its integration into most real-time rendering systems re...
Luc Claustres, Loïc Barthe, Mathias Paulin
FORTE
2008
14 years 11 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
ISTA
2008
14 years 11 months ago
Foundational Data Modeling and Schema Transformations for XML Data Engineering
As XML data storage and interchange become ubiquitous, analysts and data engineers increasingly need tools to model their data and map it to XML schemas and to reverse engineer XML...
Reema Al-Kamha, David W. Embley, Stephen W. Liddle
PTS
2008
165views Hardware» more  PTS 2008»
14 years 11 months ago
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
Farn Wang, Geng-Dian Huang