3828 search results - page 76 / 766 » Proof-Based System Engineering Using a Virtual System Model |
118
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Role Engineering is a security-critical task for systems using role-based access control (RBAC). Different role-mining approaches have been proposed that attempt to automatically ...
143
Voted
TAMODIA
2007
15 years 3 months ago
2007
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
112
click to vote
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
130
Voted
WOSS
2004
ACM
15 years 8 months ago
2004
ACM
Components in a decentralised system are faced with uncertainty as how to best adapt to a changing environment to maintain or optimise system performance. How can individual compo...
109
Voted
CAMP
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In this paper, we present a system generating freeviewpoint video in real-time using multiple cameras and a PCcluster. Our system firstly reconstructs a shape model of...