Sciweavers

212 search results - page 11 / 43
» Risk Assessment and Integrity in System Design
Sort
View
HUC
2005
Springer
15 years 3 months ago
Scanning Objects in the Wild: Assessing an Object Triggered Information System
We describe the results of a field deployment of the AURA system which links online content to physical objects through machine readable tags. AURA runs on commercially available p...
A. J. Bernheim Brush, Tammara Combs Turner, Marc A...
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
15 years 4 months ago
Integrating Formal Analysis and Design to Preserve Security Properties
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, M...
SEMWEB
2010
Springer
14 years 7 months ago
Experience of Using OWL Ontologies for Automated Inference of Routine Pre-operative Screening Tests
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurr...
CAD
2000
Springer
14 years 9 months ago
Integrated design in a service marketplace
This paper presents a service marketplace vision for enterprise-wide integrated design modeling. In this environment, expert participants and product development organizations are...
Shaun Abrahamson, David Wallace, Nicola Senin, Pet...
72
Voted
SAFECOMP
2010
Springer
14 years 8 months ago
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace
Unmanned Airborne Systems (UAS) offer significant benefits for long duration missions. They can also be used in situations where it is inappropriate to expose aircrew to increased ...
Christopher W. Johnson