2468 search results - page 182 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
Voted
QUESTA
2007
15 years 3 months ago
2007
The present paper deals with the problem of calculating queue length distributions in a polling model with (exhaustive) k-limited service under the assumption of general arrival, ...
127
Voted
ISIM
2007
15 years 5 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
111
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
We suggest that a combination of randomization and gossip communication can be used to overcome scalability barriers that limit the utility of many technologies for distributed sys...
128
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
149
Voted
IPSN
2010
Springer
15 years 9 months ago
2010
Springer
A noise map facilitates monitoring of environmental noise pollution in urban areas. It can raise citizen awareness of noise pollution levels, and aid in the development of mitigat...