Sciweavers

2386 search results - page 376 / 478
» Representing and Reasoning with Preferences
Sort
View
INFOCOM
2006
IEEE
15 years 3 months ago
Delay and Capacity Trade-Offs in Mobile Ad Hoc Networks: A Global Perspective
— Since the original work of Grossglauser and Tse, which showed that the mobility can increase the capacity of an ad hoc network, there has been a lot of interest in characterizi...
Gaurav Sharma, Ravi Mazumdar, Ness B. Shroff
IPPS
2006
IEEE
15 years 3 months ago
Base line performance measurements of access controls for libraries and modules
Having reliable security in systems is of the utmost importance. However, the existing framework of writing, distributing and linking against code in the form of libraries and/or ...
Jason W. Kim, Vassilis Prevelakis
LICS
2006
IEEE
15 years 3 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra
COMPSAC
2005
IEEE
15 years 3 months ago
Using AOP to Monitor and Administer Software for Grid Computing Environments
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
Mark Grechanik, Dewayne E. Perry, Don S. Batory
INFOCOM
2005
IEEE
15 years 3 months ago
FIT: fast Internet traceback
— Traceback mechanisms are a critical part of the defense against IP spoofing and DoS attacks, as well as being of forensic value to law enforcement. Currently proposed IP trace...
Abraham Yaar, Adrian Perrig, Dawn Xiaodong Song