71 search results - page 8 / 15 » re 2004 |
RE
2004
Springer
15 years 2 months ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
ICSE
2004
IEEE-ACM
15 years 2 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
ICCBSS
2004
Springer
15 years 3 months ago
2004
Springer
This paper summarizes the main achievements of a research whose main goal was to investigate the current state-of-art in the field of requirements engineering for COTS-based system...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently, increasing attention has focused on exploring brain activity during rest. A current challenge is to ascertain activity patterns without using an external reference. In t...