963 search results - page 136 / 193 » Formal Analysis of BPMN Models Using Event-B |
100
click to vote
VRML
2009
ACM
15 years 8 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
103
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
158
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
105
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract--We investigate knowledge exchange among commercial organizations, the rationale behind it, and its effects on the market. Knowledge exchange is known to be beneficial for...
106
click to vote
LREC
2010
15 years 3 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...