6757 search results - page 274 / 1352 » Knowledge Analysis on Process Models |
144
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
158
click to vote
AIM
2006
15 years 8 months ago
2006
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
156
click to vote
SOCA
2007
IEEE
16 years 27 days ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
207
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
203
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...