Sciweavers

2021 search results - page 50 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
CSFW
2012
IEEE
13 years 6 months ago
Securing Interactive Programs
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
ICRA
2003
IEEE
123views Robotics» more  ICRA 2003»
15 years 9 months ago
Autonomous reactive control for simulated humanoids
— We present a framework for composing motor controllers into autonomous composite reactive behaviors for bipedal robots and autonomous, physically-simulated humanoids. A key con...
Petros Faloutsos, Michiel van de Panne, Demetri Te...
ASE
1999
126views more  ASE 1999»
15 years 4 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
IEEESP
2011
14 years 7 months ago
On Adversary Models and Compositional Security
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
Anupam Datta, Jason Franklin, Deepak Garg, Limin J...
EUROMICRO
2011
IEEE
14 years 4 months ago
Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
James H. Hill