1747 search results - page 106 / 350 » Long Range Dependence |
141
click to vote
CCS
2001
ACM
15 years 10 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
149
click to vote
ICPP
1996
IEEE
15 years 9 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
139
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
158
click to vote
ADHOCNOW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We study the feasibility and time of communication in random geometric radio networks, where nodes fail randomly with positive correlation. We consider a set of radio sta...
157
Voted
PERVASIVE
2006
Springer
15 years 5 months ago
2006
Springer
Many pervasive-computing applications depend on knowledge of user location. Because most current location-sensing techniques work only either indoors or outdoors, researchers have ...