Sciweavers

3555 search results - page 450 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
SENSYS
2010
ACM
15 years 4 months ago
eShare: a capacitor-driven energy storage and sharing network for long-term operation
The ability to move energy around makes it feasible to build distributed energy storage systems that can robustly extend the lifetime of networked sensor systems. eShare supports ...
Ting Zhu, Yu Gu, Tian He, Zhi-Li Zhang
ISMAR
2007
IEEE
16 years 1 months ago
Laparoscopic Virtual Mirror for Understanding Vessel Structure Evaluation Study by Twelve Surgeons
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical...
Christoph Bichlmeier, Sandro Michael Heining, Moha...
ICDCSW
2006
IEEE
16 years 28 days ago
Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
Raquel S. Whittlesey-Harris, Mikhail Nesterenko
CASCON
2006
118views Education» more  CASCON 2006»
15 years 8 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
ISI
2006
Springer
15 years 6 months ago
Database Security Protection Via Inference Detection
Access control mechanisms are commonly used to provide control over who may access sensitive information. However, malicious users can exploit the correlation among the data and in...
Yu Chen, Wesley W. Chu