2422 search results - page 448 / 485 » Security Policy Consistency |
101
click to vote
CEEMAS
2003
Springer
15 years 2 months ago
2003
Springer
Airports for Agents1 (AA) is an implemented distributed multi-agent infrastructure designed for dynamic and unstable Internet environment. The infrastructure consists of platforms ...
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
87
Voted
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
DEON
2010
Springer
15 years 2 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
100
click to vote
ER
2001
Springer
15 years 2 months ago
2001
Springer
Document Management is an important component of a workflow management system. XML has become a prominent language for document processing and management, and has an additional adv...