Sciweavers

2135 search results - page 306 / 427
» Dimensions of Component Based Development
Sort
View
IJSN
2006
78views more  IJSN 2006»
15 years 2 months ago
An approach to synthesise safe systems
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
Arshad Jhumka, Felix C. Freiling, Christof Fetzer,...
JSW
2008
105views more  JSW 2008»
15 years 2 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
ISF
2007
119views more  ISF 2007»
15 years 2 months ago
Managing the false alarms: A framework for assurance and verification of surveillance monitoring
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
Peter Goldschmidt
110
Voted
EWC
2000
105views more  EWC 2000»
15 years 2 months ago
Design Families and Design Individuals
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
Xiao-Guang Shi, John S. Gero
104
Voted
PAMI
1998
76views more  PAMI 1998»
15 years 2 months ago
Segmenting Images Corrupted by Correlated Noise
—Image segmentation is fundamental to many image analysis problems. It aims to partition a digital image into a set of nonoverlapping homogeneous regions. The main contribution o...
Thomas C. M. Lee