1728 search results - page 83 / 346 » Formal Modeling of Process Migration |
ENTCS
2006
14 years 11 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
62
Voted
ET
2007
14 years 11 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
92
Voted
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
121
click to vote
CMOT
2011
14 years 2 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
116
click to vote
FM
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...