3828 search results - page 489 / 766 » Proof-Based System Engineering Using a Virtual System Model |
198
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
218
click to vote
CGF
2002
15 years 7 months ago
2002
Three-dimensional (3D) image acquisition systems are rapidly becoming more affordable, especially systems based on commodity electronic cameras. At the same time, personal compute...
204
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...
237
click to vote
AFRIGRAPH
2004
ACM
16 years 15 days ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...
198
Voted
SACMAT
2003
ACM
16 years 10 days ago
2003
ACM
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...