Sciweavers

2810 search results - page 256 / 562
» Contract-Based Component System Design
Sort
View
129
Voted
ICECCS
2005
IEEE
86views Hardware» more  ICECCS 2005»
15 years 9 months ago
Exploiting OS-Level Mechanisms to Implement Mobile Code Security
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
Viktoria Felmetsger, Giovanni Vigna
CCS
2009
ACM
15 years 10 months ago
MYSEA: the monterey security architecture
Mandated requirements to share information across different sensitivity domains necessitate the design of distributed architectures to enforce information flow policies while pr...
Cynthia E. Irvine, Thuy D. Nguyen, David J. Shiffl...
SARA
2009
Springer
15 years 10 months ago
Automated Redesign with the General Redesign Engine
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
Alexander Feldman, Gregory M. Provan, Johan de Kle...
123
Voted
WSC
2007
15 years 5 months ago
Reusable tool for 300mm intrabay AMHS modeling and simulation
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
Ahmed El-Nashar, Khaled S. El-Kilany
ICRA
2000
IEEE
68views Robotics» more  ICRA 2000»
15 years 8 months ago
On Satellite Vision-Aided Robotics Experiment
This contribution describes the vision-based robotic control (VBRC) experiments executed on the Japanese research satellite ETS-VII. The VBRC experiments were designed to enhance ...
Maarten Vergauwen, Marc Pollefeys, Tinne Tuytelaar...