819 search results - page 122 / 164 » Using Assumptions to Distribute CTL Model Checking |
141
click to vote
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
86
Voted
APWEB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. As a developing P2P system, Gnutella has upgraded its protocol to 0.6, which significantly changed the characteristics of its hosts. However, few previous work has given ...
74
Voted
WSC
2001
15 years 1 months ago
2001
Multitrajectory Simulation allows random events in a simulation to generate multiple trajectories. Management techniques have been developed to manage the choices of trajectories ...
120
click to vote
INTERNET
2006
15 years 17 days ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
101
Voted
P2P
2009
IEEE
15 years 7 months ago
2009
IEEE
—A number of analytical models exists that capture various properties of the BitTorrent protocol. However, until now virtually all of these models have been based on the assumpti...