1728 search results - page 121 / 346 » Formal Modeling of Process Migration |
120
Voted
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
115
Voted
IWPSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
129
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
We introduce a new model for distributed algorithms designed for large scale systems that need a low-overhead solution to allow the processes to communicate with each other. We as...
88
Voted
SOCA
2007
IEEE
15 years 7 months 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 ...
121
click to vote
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...