1728 search results - page 212 / 346 » Formal Modeling of Process Migration |
96
Voted
COORDINATION
2009
Springer
16 years 1 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
106
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
100
Voted
NIPS
2004
15 years 2 months ago
2004
First-order Markov models have been successfully applied to many problems, for example in modeling sequential data using Markov chains, and modeling control problems using the Mar...
107
Voted
WOTUG
2008
15 years 2 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
103
Voted
UML
2004
Springer
15 years 6 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...