Sciweavers

171 search results - page 6 / 35
» Development of a Flexible Augmented Prototyping System
Sort
View
SP
1999
IEEE
126views Security Privacy» more  SP 1999»
14 years 1 months ago
Flexible Policy-Directed Code Safety
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
David Evans, Andrew Twyman
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
14 years 3 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
14 years 2 months ago
Carbon Fiber Components with Integrated Wiring for Millirobot Prototyping
- We are developing a process to quickly prototype millirobotic systems in which the approach is to identify and develop a construction kit for fabricating almost any design, simil...
Ranjana Sahai, Erik Steltz, Ronald S. Fearing
CG
1999
Springer
13 years 8 months ago
Accurate overlaying for mobile augmented reality
Mobile augmented reality requires accurate alignment of virtual information with objects visible in the real world. We describe a system for mobile communications to be developed ...
Wouter Pasman, Arjen van der Schaaf, Reginald L. L...
IC
2003
13 years 10 months ago
An Architecture for Efficient, Flexible Enterprise System Integration
Integrating complex enterprise systems is challenging and reliability and performance of the integrated systems can be problematic when using typical solutions of distributed tran...
John C. Grundy, Jun Bai, John Blackham, John G. Ho...