1938 search results - page 202 / 388 » Dependable Software |
CDC
2009
IEEE
15 years 7 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...
100
click to vote
CSMR
2009
IEEE
15 years 7 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...
111
click to vote
SPIRE
1999
Springer
15 years 6 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 ...
141
click to vote
ASM
2010
ASM
15 years 4 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...
103
click to vote
HOTDEP
2008
15 years 4 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 ...