1087 search results - page 73 / 218 » Achieving Distributed Control through Model Checking |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
MM
1993
ACM
13 years 12 months ago
1993
ACM
This paper describes a stand-alone network-based video capture and processing peripheral (the Vidboard) for a distributed multimedia system centered around a gigabit-per-second As...
ICDCS
2000
IEEE
14 years 8 days ago
2000
IEEE
In this paper, we propose an approach to flow-unaware admission control, which is combination with an aggregate packet forwarding scheme, improves scalability of networks while g...
ICPADS
2002
IEEE
14 years 25 days ago
2002
IEEE
In this paper, an adaptive matrix multiplication algorithm for dynamic heterogeneous environments is developed and evaluated. Unlike the state-of-the-art approaches, where load ba...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper presents an architectural solution to address the problem of scalable routing in very large sensor networks. The control complexities of the existing sensor routing p...