3828 search results - page 201 / 766 » Proof-Based System Engineering Using a Virtual System Model |
189
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We describe a virtual “tether” for mobile devices that allows groups to have quick, simple and privacy-preserving meetups. Our design provides cues which allow dynamic coordin...
168
click to vote
WORDS
2005
IEEE
16 years 1 days ago
2005
IEEE
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
148
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
173
click to vote
VR
2008
IEEE
16 years 25 days ago
2008
IEEE
As the use of virtual and augmented reality applications becomes more common, the need to fully understand how observers perceive spatial relationships grows more critical. One of...
184
click to vote
WOSP
2005
ACM
16 years 15 hour ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...