1888 search results - page 41 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
133
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
142
click to vote
CASCON
1997
15 years 3 months ago
1997
The purpose of the Distributed Management Framework (DMF) is to provide a layer of ion at a level convenient for management application developers. Specifically, it liberates the ...
114
click to vote
FMSD
2006
15 years 2 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
118
click to vote
AAMAS
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
117
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...