821 search results - page 100 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
109
click to vote
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
104
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Models of activity structure for unconstrained environments are generally not available a priori. Recent representational approaches to this end are limited by their computational...
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
CCS
2001
ACM
15 years 4 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
130
click to vote
PRESENCE
2006
14 years 11 months ago
2006
The generation of multimodal virtual environments for surgical training is complicated by the necessity to develop heterogeneous simulation scenarios such as surgical incision, ca...