882 search results - page 60 / 177 » Analysis of Composite Corridors |
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
CLA
2007
13 years 10 months ago
2007
This paper presents an approach to Concept Analysis of structured, multivalued and incomplete data currently present in life science knowledge bases. We are concerned with tree str...
ICPR
2002
IEEE
14 years 1 months ago
2002
IEEE
Natural images are the composite consequence of multiple factors related to scene structure, illumination, and imaging. For facial images, the factors include different facial geo...
BPM
2000
Springer
14 years 10 days ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...