10263 search results - page 60 / 2053 » From Use Cases to System Operation Specifications |
CODES
2001
IEEE
14 years 14 days ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
ESTIMEDIA
2008
Springer
13 years 10 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
MICAI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
FLAIRS
2007
13 years 11 months ago
2007
The research described here focuses on global tempo transformations of monophonic recordings of saxophone jazz performances. We have investigated the problem of how a performance ...
AUTOMATICA
2008
13 years 9 months ago
2008
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...