Sciweavers

605 search results - page 58 / 121
» Normalizers and Split Extensions
Sort
View
LICS
2008
IEEE
15 years 5 months ago
An Algebraic Process Calculus
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
Emmanuel Beffara
WCNC
2008
IEEE
15 years 5 months ago
Physical Carrier Sensing Outage in Single Hop IEEE 802.11 Ad Hoc Networks with Slowly Moving Stations
—Physical Carrier Sensing plays a crucial role in the effectiveness of CSMA-based MAC protocols, yet its properties and impact on the system performance under slow fading channel...
Jin Sheng, Kenneth S. Vastola
GLOBECOM
2007
IEEE
15 years 5 months ago
A Novel Performance Model for Distributed Prioritized MAC Protocols
—Distributed prioritized channel access mechanisms have been adopted by the IEEE 802.11e enhanced distributed channel access (EDCA) and the Multiband OFDM Alliance prioritized ch...
Xinhua Ling, Kuang-Hao Liu, Yu Cheng, Xuemin Shen,...
91
Voted
ISVC
2007
Springer
15 years 5 months ago
Fitting the World to the Mind: Transforming Images to Mimic Perceptual Adaptation
Abstract. Visual sensitivity is constantly adjusting to the current visual context through processes of adaptation. These adaptive changes strongly affect all perceptual judgments ...
Michael A. Webster, Kyle McDermott, George Bebis
OOPSLA
2007
Springer
15 years 5 months ago
Democratizing the cloud
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
Erik Meijer