Sciweavers

3706 search results - page 399 / 742
» OntoComP System Description
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
CC
2005
Springer
195views System Software» more  CC 2005»
15 years 8 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani
IBPRIA
2007
Springer
15 years 8 months ago
Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
Pau Baiget, Carles Fernández Tena, F. Xavie...
ODR
2008
15 years 8 months ago
Reflecting on ODR: The Israeli Example
The state of ODR in Israel provides an instructive illustration of the developments and achievements in the field as well as the significant challenges that it still faces. The gen...
Orna Rabinovich-Einy
WCET
2008
15 years 8 months ago
INFER: Interactive Timing Profiles based on Bayesian Networks
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
Michael Zolda