5790 search results - page 172 / 1158 » Distributed programming with distributed authorization |
120
click to vote
CDC
2009
IEEE
15 years 10 days ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
244
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
137
Voted
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...
136
click to vote
IMC
2006
ACM
15 years 8 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
108
Voted
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Distributed shared objects are a well known approach to achieve independenceof the memory model for parallel programming. The illusion of shared (global) objects is a conabstracti...