430 search results - page 27 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
ICPP
1990
IEEE
15 years 3 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
106
click to vote
IAJIT
2011
14 years 6 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
104
click to vote
CBSE
2008
Springer
15 years 1 months ago
2008
Springer
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...
IJCIM
2002
14 years 11 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
NOMS
2002
IEEE
15 years 4 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...