Sciweavers

7206 search results - page 311 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
CBSE
2006
Springer
15 years 10 months ago
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models
This paper addresses the unavoidable problem of dynamic reconfiguration in component-based system with a hierarchical component model. The presented solution is based on (1) allowi...
Petr Hnetynka, Frantisek Plasil
FOSSACS
2006
Springer
15 years 10 months ago
Presenting Functors by Operations and Equations
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
Marcello M. Bonsangue, Alexander Kurz
IUSED
2008
15 years 8 months ago
Reducing Risk through Human Centred Design
The National Academy of Science's report on Human-System Integration in the system development process (NAS HSI report) [12] explains how human needs can be integrated into s...
Nigel Bevan
SIGSOFT
2010
ACM
15 years 4 months ago
Finding latent performance bugs in systems implementations
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
Charles Edwin Killian, Karthik Nagaraj, Salman Per...
ICSE
1999
IEEE-ACM
15 years 11 months ago
Information Survivability Control Systems
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
Kevin J. Sullivan, John C. Knight, Xing Du, Steve ...