Sciweavers

589 search results - page 73 / 118
» Design and Implementation of an SSL Component Based on CBD
Sort
View
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
15 years 3 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
ICCAD
2007
IEEE
139views Hardware» more  ICCAD 2007»
15 years 6 months ago
Using functional independence conditions to optimize the performance of latency-insensitive systems
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
Cheng-Hong Li, Luca P. Carloni
ESAW
2001
Springer
15 years 4 months ago
Engineering Infrastructures for Mobile Organizations
Mobile application components can be effectively and uniformly modeled in terms of autonomous agents moving across different context during execution. In this paper, we introduce a...
Giacomo Cabri, Letizia Leonardi, Marco Mamei, Fran...
BICA
2010
14 years 6 months ago
Modelling Human Memory in Robotic Companions for Personalisation and Long-term Adaptation in HRI
This paper investigates issues of robot's personalization and long-term adaptation in human-robot interaction (HRI). It demonstrates the design and first technical implementat...
Wan Ching Ho, Kerstin Dautenhahn, Mei Yii Lim, Kyr...
ECSA
2011
Springer
13 years 11 months ago
Delta-oriented architectural variability using MontiCore
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard R...