7941 search results - page 1180 / 1589 » Network Analysis of Repositories |
193
click to vote
ATVA
2009
Springer
15 years 11 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...
148
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 ...
158
Voted
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 ...
169
Voted
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
We study common query intentions in a software developer network with more than one million users. Based on a large query log analysis we could identify typical search intentions a...