Sciweavers

4850 search results - page 825 / 970
» Proof and Computation in Geometry
Sort
View
SAINT
2008
IEEE
16 years 26 days ago
Matrix Routing -- An Interference Range Insensitive Routing Protocol for Wireless Sensor Networks
Interference ranges can dramatically affect the throughput in wireless sensor networks. While the transmission range defines the maximum physical range of a radio signal the inter...
Monty Beuster, Michael Beigl, Daniel Röhr, Ti...
IEEEIAS
2007
IEEE
16 years 24 days ago
A Purpose-Based Access Control Model
: Achieving privacy preservation in a data-sharing computing environment is becoming a challenging problem. Some organisations may have published privacy policies, which promise pr...
Naikuo Yang, Howard Barringer, Ning Zhang
INFOCOM
2007
IEEE
16 years 24 days ago
CR Switch: A Load-Balanced Switch with Contention and Reservation
—Load-balanced switches have received a great deal of attention recently as they are much more scalable than other existing switch architectures in the literature. However, as th...
Chao-Lin Yu, Cheng-Shang Chang, Duan-Shin Lee
KBSE
2007
IEEE
16 years 23 days ago
Adaptation hiding modularity
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
Yuanyuan Song
LICS
2007
IEEE
16 years 23 days ago
Local Action and Abstract Separation Logic
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yan...