146 search results - page 7 / 30 » Information Flow Analysis in a Discrete-Time Process Algebra |
TAMODIA
2008
14 years 11 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
ADBIS
2004
Springer
15 years 3 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
To design information visualization tools for collaborative use, we need to understand how teams engage with visualizations during their information analysis process. We report on...
IANDC
2008
14 years 10 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...