Sciweavers

1951 search results - page 27 / 391
» Decoupling Change from Design
Sort
View
HASE
1998
IEEE
15 years 1 months ago
Design for Constraint Violation Detection in Safety-Critical Systems
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsa...
JOT
2007
102views more  JOT 2007»
14 years 9 months ago
Type Access Analysis: Towards Informed Interface Design
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
Friedrich Steimann, Philip Mayer
IBPRIA
2007
Springer
15 years 3 months ago
A Neural Network Model for Image Change Detection Based on Fuzzy Cognitive Maps
This paper outlines a neural network model based on the Fuzzy Cognitive Maps (FCM) framework for solving the automatic image change detection problem. Each pixel in the reference i...
Gonzalo Pajares, Alfonso Sánchez-Beato, Jes...
OSDI
2002
ACM
15 years 9 months ago
The Design and Implementation of Zap: A System for Migrating Computing Environments
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...
Steven Osman, Dinesh Subhraveti, Gong Su, Jason Ni...
88
Voted
ICDCS
2003
IEEE
15 years 2 months ago
Dynamic Module Replacement in Distributed Protocols
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide