3898 search results - page 97 / 780 » Maintaining Component-Based Systems |
155
click to vote
HOTOS
2003
IEEE
15 years 8 months ago
2003
IEEE
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
136
Voted
FM
1998
Springer
15 years 7 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
107
Voted
SSS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper analyses the robustness of self-organizing (engineered) systems to perturbations (faults or environmental changes). It considers that a self-organizing system ...
86
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper studies the gain margins (GM) of multivariable model reference adaptive control (MRAC) systems: the parameter range of a control gain matrix in a designed MR...
118
Voted
ICALT
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent developments in E-Learning systems aim at providing a better support for didactics-aware learning scenarios. Typically, in order to provide that support the number and comp...