21490 search results - page 641 / 4298 » Business Process Modeling |
159
click to vote
PERCOM
2006
ACM
16 years 7 months ago
2006
ACM
Users' tasks are typically a sequence of steps. Today, the goal of Pervasive Computing applications ? to support users in their tasks by using context information ? is only p...
202
click to vote
MDAI
2005
Springer
16 years 25 days ago
2005
Springer
We formulate a fuzzy perceptive model for Markov decision processes with discounted payoff in which the perception for transition probabilities is described by fuzzy sets. Our aim...
224
Voted
CONCUR
2001
Springer
15 years 12 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
237
Voted
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
179
click to vote
WSC
2008
15 years 9 months ago
2008
This paper deals with the problem of determining the optimal inspection strategy for a multi-stage production process using simulation optimization. An optimal inspection strategy...