Sciweavers

2570 search results - page 227 / 514
» Reliability Modeling Using UML
Sort
View
ADAEUROPE
2005
Springer
15 years 8 months ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
91
Voted
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 27 days ago
HRP-2 plays the yoyo: From human to humanoid yoyo playing using optimal control
— Yoyo playing may seem easy for a human, but it is a challenging problem for a humanoid robot. This paper presents an approach to generate yoyo motions for the humanoid robot, H...
Katja Mombaur, Manish N. Sreenivasa
VOTEID
2007
Springer
15 years 8 months ago
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
Komminist Weldemariam, Adolfo Villafiorita, Andrea...
FASE
2001
Springer
15 years 6 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
CORR
2004
Springer
113views Education» more  CORR 2004»
15 years 2 months ago
Pattern Reification as the Basis for Description-Driven Systems
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
Florida Estrella, Zsolt Kovacs, Jean-Marie Le Goff...