857 search results - page 140 / 172 » A Formal Framework for Adaptive Access Control Models |
SAC
2000
ACM
13 years 12 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
RAID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
FUIN
2008
13 years 7 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
ICPP
2002
IEEE
14 years 16 days ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...