Sciweavers

TOPLAS
2002
98views more  TOPLAS 2002»
13 years 3 months ago
Data abstraction and information hiding
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
K. Rustan M. Leino, Greg Nelson
CCR
2010
106views more  CCR 2010»
13 years 3 months ago
802.11 with multiple antennas for dummies
The use of multiple antennas and MIMO techniques based on them is the key feature of 802.11n equipment that sets it apart from earlier 802.11a/g equipment. It is responsible for s...
Daniel Halperin, Wenjun Hu, Anmol Sheth, David Wet...
ESORICS
1992
Springer
13 years 7 months ago
ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis
After a brief survey of the problems related to audit trail analysis and of some approaches to deal with them, the paper outlines the project ASAX which aims at providing an advanc...
Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji...
ICIP
2000
IEEE
13 years 8 months ago
Hybrid Sender and Receiver Driven Rate Control in Multicast Layered Video Transmission
Layered coding is often proposed as a solution for ratebased congestion control of video transmission in heterogeneous environments. The problem addressed more specifically here i...
Fabrice Le Leannec, Jérôme Vieron, Xa...
ATAL
2003
Springer
13 years 8 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
DOCENG
2009
ACM
13 years 10 months ago
Differential synchronization
This paper describes the Differential Synchronization (DS) method for keeping documents synchronized. The key feature of DS is that it is simple and well suited for use in both no...
Neil Fraser