184 search results - page 29 / 37 » Dynamic Access Control in a Concurrent Object Calculus |
IAJIT
2010
13 years 7 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
ER
2001
Springer
14 years 1 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...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
CL
2000
Springer
14 years 27 days ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
ISMAR
2005
IEEE
14 years 2 months ago
2005
IEEE
Paper-based cartographic maps provide highly detailed information visualisation with unrivalled fidelity and information density. Moreover, the physical properties of paper affor...