1938 search results - page 202 / 388 » Dependable Software |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
CSMR
2009
IEEE
14 years 1 months ago
2009
IEEE
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
SPIRE
1999
Springer
14 years 1 months ago
1999
Springer
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
ASM
2010
ASM
13 years 11 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
HOTDEP
2008
13 years 11 months ago
2008
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...