2556 search results - page 84 / 512 » The Triconnected Abstraction of Process Models |
174
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
203
Voted
HUMO
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
155
click to vote
MODELS
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
150
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
195
click to vote
ICDM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...