1728 search results - page 92 / 346 » Formal Modeling of Process Migration |
121
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
132
click to vote
NFM
2011
14 years 7 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...
108
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
78
Voted
DKE
2008
15 years 24 days ago
2008
To enable effective cross-organizational collaborations, process providers have to offer external views on their internal processes to their partners. A process view hides details...
94
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...