2470 search results - page 185 / 494 » Liveness-Preserving Simulation Relations |
119
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
125
click to vote
EENERGY
2010
15 years 8 months ago
2010
Sleeping is an important method to reduce energy consumption in many information and communication systems. In this paper we focus on a typical server under dynamic load, where en...
136
click to vote
SUTC
2010
IEEE
15 years 8 months ago
2010
IEEE
—To date many activity spotting approaches are static: once the system is trained and deployed it does not change anymore. There are substantial shortcomings of this approach, sp...
139
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper considers the medium access problem in the IEEE 802.11 standard. Although the transmission bit rates have clearly increased, some MAC related problems remain unsolved...
159
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—In most existing sender-initiated handshaking based underwater Media Access Control (MAC) protocols, only the initiating sender is allowed to transmit data packets to its intend...