8644 search results - page 24 / 1729 » On the Composition of Secure Systems |
VIS
2004
IEEE
14 years 8 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents an information-driven online video composition system. The composition work handled by the system includes dynamically setting multiple pan/tilt/zoom (PTZ) cam...
OOPSLA
2009
Springer
14 years 6 days ago
2009
Springer
Predefined composite operations are handy for efficient software modeling, e.g., for the automatic execution of refactor
SAINT
2006
IEEE
14 years 1 months ago
2006
IEEE
Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. So far most of t...