2470 search results - page 344 / 494 » Liveness-Preserving Simulation Relations |
163
Voted
NETWORK
2008
15 years 4 months ago
2008
In recent years, remarkable market competition and economy of scale has resulted in the price erosion of wireless devices for consumer electronics. Especially for wireless data ne...
148
Voted
MONET
2006
15 years 4 months ago
2006
In this paper we address the minimum-energy broadcast problem in multi-hop wireless networks, so that all broadcast requests initiated by different source nodes take place on the s...
145
click to vote
FUIN
2007
15 years 4 months ago
2007
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
116
click to vote
IEICET
2007
15 years 4 months ago
2007
Bursty traffic is dominant in modern communication networks and keeps the call-level QoS assessment an open issue. ON-OFF traffic models are commonly used to describe bursty tra...
136
click to vote
RAS
2006
15 years 4 months ago
2006
In this paper, we present techniques that allow one or multiple mobile robots to efficiently explore and model their environment. While much existing research in the area of Simul...