1714 search results - page 162 / 343 » Abstract Models of Memory Management |
142
Voted
CEEMAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
148
click to vote
BPM
2007
Springer
15 years 7 months ago
2007
Springer
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...
152
Voted
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
113
Voted
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
141
Voted
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...