2637 search results - page 280 / 528 » Tool Supported Specification and Simulation of Distributed S... |
165
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a novel method of achieving load balancing in telecommunications networks. A simulated network models a typical distribution of calls between arbitrary nodes;...
199
click to vote
CMG
2003
15 years 8 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
196
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
167
click to vote
KIVS
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents an approach for exchanging presence information between users of an instant messaging system in a mobile ad hoc network. As major feature, presence information ...
177
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...