963 search results - page 105 / 193 » Formal Analysis of BPMN Models Using Event-B |
126
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
135
click to vote
LCN
2008
IEEE
15 years 7 months ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...
110
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
130
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
105
click to vote
FMCO
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...