963 search results - page 50 / 193 » Formal Analysis of BPMN Models Using Event-B |
107
click to vote
ICECCS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
103
click to vote
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
CE
2004
15 years 1 months ago
2004
The goal of the study described in this paper was to gain an improved understanding of the social context of UK online centres and issues around the creation and exchange of knowl...
108
click to vote
FDBS
2001
15 years 2 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
112
click to vote
AAAI
2010
15 years 2 months ago
2010
Multi-Agent Plan Recognition (MAPR) seeks to identify the dynamic team structures and team behaviors from the observations of the activity-sequences of a set of intelligent agents...