Sciweavers

2493 search results - page 238 / 499
» Tool Support for Design by Contract
Sort
View
ICAS
2005
IEEE
103views Robotics» more  ICAS 2005»
15 years 4 months ago
QoS issues in the Research and Academic Networks: The case of GRNET
This paper describes the design and the implementation of QoS services in a high speed backbone network as well as a management tool for the service. The services were designed ta...
Christos Bouras, Anastasios Karaliotas, Michael Oi...
MOBICOM
2004
ACM
15 years 4 months ago
Exploiting medium access diversity in rate adaptive wireless LANs
Recent years have seen the growing popularity of multi-rate wireless network devices (e.g., 802.11a cards) that can exploit variations in channel conditions and improve overall ne...
Zhengrong Ji, Yi Yang, Junlan Zhou, Mineo Takai, R...
ICSOC
2004
Springer
15 years 4 months ago
An OGSA-based accounting system for allocation enforcement across HPC centers
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
Thomas Sandholm, Peter Gardfjäll, Erik Elmrot...
AH
2008
Springer
15 years 1 months ago
Facilitating Collaboration in Virtual Environments
The evolution of learning systems brought improvements to the functionality of their components by offering support and mediating learning, communication and collaboration. However...
Diana Chihaia
PEWASUN
2007
ACM
15 years 14 days ago
Worst-case lifetime computation of a wireless sensor network by model-checking
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
Laurent Mounier, Ludovic Samper, Wassim Znaidi