652 search results - page 17 / 131 » On the behavioural dimension of correspondences between proc... |
ROBOCUP
2009
Springer
14 years 1 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Business process modeling is an important corporate activity, but the understanding of what constitutes good process models is still rather limited. In this paper, we tur...
ECIS
2004
13 years 8 months ago
2004
Customer value is crucial in predicting customer choice in traditional consumer behavior research. However, online customer value can be different from its offline counterpart bec...
AIEDU
2007
13 years 7 months ago
2007
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...