Sciweavers

17449 search results - page 98 / 3490
» Availability
Sort
View
ICNS
2008
IEEE
14 years 4 months ago
Characterization Framework and Design Patterns for the Disadvantaged User
Many Service Oriented Architecture (SOA) approaches in use today presume the consistent availability of reliable networks and limitless resources. For some Department of Defense (...
Fatma Dandashi, Aaron Griggs, Jeffrey L. Higginson...
PIMRC
2008
IEEE
14 years 4 months ago
Cooperative handoff in wireless networks
—In 802.11-based wireless networks the stations (STAs) are associated with the available access points (APs) and communicate through them. In traditional handoff schemes the STAs...
George Athanasiou, Thanasis Korakis, Leandros Tass...
ATVA
2007
Springer
162views Hardware» more  ATVA 2007»
14 years 4 months ago
Verifying Heap-Manipulating Programs in an SMT Framework
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. H...
POLICY
2007
Springer
14 years 4 months ago
Infrastructure-Aware Autonomic Manager for Change Management
Typical IT Environments of medium to large size organizations consist of tens of networks that connect hundreds of servers to support the running of a large variety of business-re...
Hady S. AbdelSalam, Kurt Maly, Ravi Mukkamala, Moh...
E2EMON
2006
IEEE
14 years 4 months ago
Tuning the Temporal Characteristics of a Kalman-Filter Method for End-to-End Bandwidth Estimation
—In this paper we present a way of tuning the temporal characteristics of a new available-bandwidth estimation method, BART. The estimation engine in this method is Kalman-filter...
Erik Hartikainen, Svante Ekelin