7544 search results - page 1105 / 1509 » Network Forensics Analysis |
189
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents a general framework to segment curvilinear objects in 2D images. A pre-processing step relies on mathematical morphology to obtain a connected line wh...
189
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
168
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper reports on transfer rate models for the Gnutella signaling protocol. New results on message-level and IP-level rates are presented. The models are based on traffic capt...
147
click to vote
CBMS
1995
IEEE
15 years 10 months ago
1995
IEEE
Complex clinical problems involving huge experimental evidence require a preliminary validation of observed data. This may avoid biasing due to incorrect sampling and clarify the ...
157
click to vote
TACS
1991
Springer
15 years 10 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...