3555 search results - page 293 / 711 » Security-Critical System Development with Extended Use Cases |
200
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
We consider the problem of computing the root-mean-square (RMS) gain of switched linear systems. We develop a new approach which is based on an attempt to characterize the "w...
153
click to vote
ETFA
2006
IEEE
16 years 1 months ago
2006
IEEE
Embedded software often needs to be ported from one system to another. This may happen for a number of reasons among which are the need for using less expensive hardware or the ne...
178
click to vote
CCIA
2005
Springer
16 years 24 days ago
2005
Springer
The objective of this paper is two-fold. The first is to develop a methodology capable of extracting the Human Values Scale (HVS) from the user, with reference to his/her objective...
189
click to vote
FASE
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
188
click to vote
ISSAC
2005
Springer
16 years 22 days ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...