Sciweavers

7527 search results - page 459 / 1506
» Design and implementation of the KioskNet system
Sort
View
ER
2009
Springer
166views Database» more  ER 2009»
16 years 1 months ago
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
Golnaz Elahi, Eric S. K. Yu, Nicola Zannone
IROS
2007
IEEE
96views Robotics» more  IROS 2007»
16 years 1 months ago
Towards robotic self-reassembly after explosion
— This paper introduces a new challenge problem, designing robotic systems to recover after disassembly from high energy events. Implementation of a camera-based localization alg...
Mark Yim, Babak Shirmohammadi, Jimmy Sastra, Micha...
HYBRID
2007
Springer
16 years 1 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
ICN
2005
Springer
16 years 12 days ago
Paradis-Net
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
Guido Malpohl, Florin Isaila
ISSS
2000
IEEE
94views Hardware» more  ISSS 2000»
15 years 11 months ago
A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Erns...