3555 search results - page 285 / 711 » Security-Critical System Development with Extended Use Cases |
173
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
154
click to vote
VL
2007
IEEE
16 years 26 days ago
2007
IEEE
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
156
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
191
click to vote
JOT
2008
15 years 6 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
165
click to vote
PERVASIVE
2007
Springer
16 years 22 days ago
2007
Springer
We have developed a series of ambient information systems and used each in our research lab for extended periods of time. The systems use technologies such as RFID, RSS, and Phidg...