1123 search results - page 61 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
108
click to vote
RTSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Many applications in wireless sensor networks require communication performance that is both consistent and high quality. Unfortunately, performance of current network p...
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
109
click to vote
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
110
click to vote
ECRTS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...