733 search results - page 110 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
112
click to vote
ACMIDC
2009
14 years 11 months ago
2009
While supporting family communication has traditionally been a domain of interest for interaction designers, few research initiatives have explicitly investigated remote synchrono...
116
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
128
click to vote
DCOSS
2005
Springer
15 years 7 months ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
160
click to vote
HLPPP
1991
15 years 5 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
107
click to vote
PODC
2004
ACM
15 years 7 months ago
2004
ACM
The Border Gateway Protocol (BGP) for interdomain routing is designed to allow autonomous systems (ASes) to express policy preferences over alternative routes. We model these pref...