1141 search results - page 123 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
150
click to vote
HYBRID
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
161
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
165
click to vote
AVI
2006
15 years 7 months ago
2006
The ASPICE project aims at the development of a system which allows the neuromotor disabled persons to improve or recover their mobility (directly or by emulation) and communicati...
176
click to vote
GMP
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
192
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...