Sciweavers

3108 search results - page 178 / 622
» An Approach to Incremental Design of Distributed Embedded Sy...
Sort
View
181
Voted
HASE
2002
IEEE
15 years 8 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
124
Voted
OOIS
2001
Springer
15 years 8 months ago
Towards a Model-Driven Approach to Reuse
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
Robert B. France, Sudipto Ghosh, Daniel E. Turk
135
Voted
FORTE
2007
15 years 5 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
156
Voted
PSTV
1989
71views Hardware» more  PSTV 1989»
15 years 4 months ago
Open Distributed Processing
This paper proposes design concepts that allow the conception, understanding and development of complex technical structures for open distributed systems. The proposed concepts ar...
J. J. van Griethuysen
128
Voted
ICRA
2003
IEEE
126views Robotics» more  ICRA 2003»
15 years 9 months ago
Experimental analysis of an innovative prosthetic hand with proprioceptive sensors
— This paper presents an underactuated artificial hand intended for functional replacement of the natural hand in upper limb amputees. The natural hand has three basic functiona...
Maria Chiara Carrozza, Fabrizio Vecchi, F. Sebasti...