Sciweavers

2557 search results - page 246 / 512
» Goal-Based Modeling of Dynamically Adaptive System Requireme...
Sort
View
EWSA
2004
Springer
14 years 1 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
MVA
1994
116views Computer Vision» more  MVA 1994»
13 years 9 months ago
Stable Position Measurement of a Moving Airplane by Adaptive Camera Control
Amethod is developed to identifya taxiing airplane and measure its position correctly under various lighting and weather conditionsby inputting a moving image from an adaptively-co...
Yuichi Togashi, Hideaki Yamaguchi
ICSE
1999
IEEE-ACM
14 years 17 days 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 ...
ICEISSAM
2004
13 years 9 months ago
Design Measures for Distributed Information Systems: an Empirical Evaluation
Due to the different nature of the available dynamic interactions between components afforded by some middleware infrastructure, distributed information systems (DIS) behave differ...
Pablo Rossi, George Fernandez
JDCTA
2010
155views more  JDCTA 2010»
13 years 3 months ago
Multi-factor predication of diesel engine by using artificial neural networks
The paper presents an algorithm which combining a neural network observer, it give more flexible and accurate control on the engine operation. In recent year, several researchers ...
Wenyong Xiao