177 search results - page 2 / 36 » .NET: The Programmer's Perspective |
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
SIGCSE
2003
ACM
13 years 10 months ago
2003
ACM
A crucial part of the Networking course is the examination of and experimentation with network traffic data. Most standalone network traffic sniffers are quite expensive and those...
ISOLA
2004
Springer
13 years 10 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
BPM
2005
Springer
13 years 10 months ago
2005
Springer
ISR
2008
13 years 4 months ago
2008
