1833 search results - page 277 / 367 » Mechanized Verification with Sharing |
132
click to vote
WIOPT
2006
IEEE
15 years 10 months ago
2006
IEEE
— Channel-aware scheduling strategies provide an effective mechanism for improving the throughput performance in wireless data networks by exploiting channel fluctuations. The p...
142
click to vote
ADHOCNOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Bluetooth wireless technology realizes a low-cost shortrange wireless voice- and data-connection through radio propagation. Bluetooth also has a security architecture...
149
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
133
click to vote
COLCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a new overlay network, called Generic Identifier Network (GIN), for collaborative nodes to share objects with transactions across affiliated organizations by merging th...
127
Voted
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...