2635 search results - page 145 / 527 » Refactoring Process Models in Large Process Repositories |
161
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Recently many large scale computer systems are built in order to meet the high storage and processing demands of compute and data-intensive applications. MapReduce is one of the mo...
173
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
125
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
121
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Duration of phonemic segments provide important cues for distinguishing words in languages such as Arabic. Recently, we proposed a discriminatively estimated joint acoustic, durat...
157
click to vote
SCESM
2006
ACM
15 years 10 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...