Sciweavers

3095 search results - page 328 / 619
» Ubiquitous presence systems
Sort
View
QSHINE
2005
IEEE
16 years 8 days ago
Utility-based Adaptive Resource Allocation in Hybrid Wireless Networks
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
Calin Curescu, Simin Nadjm-Tehrani, Bing Cao, Tere...
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
16 years 4 days ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
ICCHP
2004
Springer
16 years 1 days ago
proXimity: Ad-Hoc Networks for Enhanced Mobility
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
Simon Harper, Stephen Pettitt, Carole A. Goble
ACSAC
2003
IEEE
15 years 12 months ago
Behavioral Authentication of Server Flows
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
James P. Early, Carla E. Brodley, Catherine Rosenb...
ISBI
2002
IEEE
15 years 11 months ago
ARMA modeling for estimation of permeability from perfusion MRI
We develop noninvasive MRI techniques that quantify the permeability of the Blood-Brain Barrier (BBB). Using such gadolinium compounds as Gd-DTPA and gadomer17, changes in R1 (R1 ...
Mohammad Mehdi Khalighi, Hamid Soltanian-Zadeh, Ja...