3463 search results - page 509 / 693 » Modeling and executing master-worker applications in compone... |
161
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--Two-dimensional interleaving schemes with repetitions are considered. These schemes are required for the correction of two-dimensional bursts (or clusters) of errors in a...
171
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
187
click to vote
RSP
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
192
click to vote
AMS
2007
Springer
16 years 18 days ago
2007
Springer
Autonomous robots that can adapt to novel situations has been a long standing vision of robotics, artificial intelligence, and cognitive sciences. Early approaches to this goal du...
180
click to vote
CCGRID
2005
IEEE
16 years 1 days ago
2005
IEEE
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...