2711 search results - page 242 / 543 » Stochastic Hybrid Systems: Application to Communication Netw... |
195
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present our P2P-TV measurement experiment performed in France and Japan. By using multiple measurement points in different locations of the world, we are able to ...
149
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
171
click to vote
FPL
2004
Springer
16 years 2 days ago
2004
Springer
—This paper presents a methodology and a tool for automatic synthesis of highly efficient intrusion detection systems using a high-level, graph-based partitioning methodology and...
178
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
207
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The communication protocol IEEE 802.15.4 is becoming pervasive for low power and low data rate wireless sensor networks (WSNs) applications, including control and automation. Never...