Sciweavers

805 search results - page 109 / 161
» Concept-Driven Engineering for Supporting Different Views of...
Sort
View
KBSE
2003
IEEE
15 years 6 months ago
Model-based Verification of Web Service Compositions
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
Howard Foster, Sebastián Uchitel, Jeff Mage...
CODES
2004
IEEE
15 years 5 months ago
Design and programming of embedded multiprocessors: an interface-centric approach
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
Pieter van der Wolf, Erwin A. de Kock, Tomas Henri...
CBSE
2008
Springer
15 years 3 months ago
Experiences from Developing a Component Technology Agnostic Adaptation Framework
Systems are increasingly expected to adapt themselves to changing requirements and environmental situations with minimum user interactions. A challenge for self-adaptation is the i...
Eli Gjørven, Frank Eliassen, Romain Rouvoy
PAMI
2006
227views more  PAMI 2006»
15 years 1 months ago
Matching 2.5D Face Scans to 3D Models
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
Xiaoguang Lu, Anil K. Jain, Dirk Colbry
111
Voted
GVD
2001
142views Database» more  GVD 2001»
15 years 2 months ago
An approach to the model-based fragmentation and relational storage of XML-documents
A flexible method to store XML documents in relational or object-relational databases is presented that is based on an adaptable fragmentation. Whereas most known approaches decom...
Christian Süß