8719 search results - page 1148 / 1744 » Visualization of Distributed Processes Using |
202
click to vote
FMSD
2006
15 years 7 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
220
click to vote
PE
2010
Springer
15 years 2 months ago
2010
Springer
We consider connection-level models of resource allocation in a simple symmetric three-link network, where files arrive into the network according to a Poisson process and the siz...
187
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recent studies on wireless sensor networks (WSN) have shown that the duration of contacts and inter-contacts are power law distributed. While this is a strong property of these...
184
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
174
Voted
ICCS
2004
Springer
16 years 26 days ago
2004
Springer
In this paper we present a new infrastructure for building distributed applications that communicate through remote objects. The objects are available by the use of the Java RMI, e...