Sciweavers

3706 search results - page 189 / 742
» KtSeqC: System Description
Sort
View
DISCEX
2003
IEEE
15 years 12 months ago
Willow System Demonstration
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
John C. Knight, Jonathan Hill, Philip E. Varner, P...
ER
2003
Springer
142views Database» more  ER 2003»
15 years 11 months ago
An OPM-Based Metamodel of System Development Process
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
Dov Dori, Iris Reinhartz-Berger
AMAST
2000
Springer
15 years 11 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra
AUTOMATICA
1999
119views more  AUTOMATICA 1999»
15 years 6 months ago
Robust L2-gain control for nonlinear systems with projection dynamics and input constraints: an example from traffic control
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
Joseph A. Ball, Martin V. Day, Tungsheng Yu, Pushk...
ISB
2002
140views more  ISB 2002»
15 years 6 months ago
Computer system "Gene Discovery" for promoter structure analysis
Data Mining and Knowledge Discovery techniques proved to be efficient tools for variety of complex tasks in biology including DNA research. This paper presents implementation of th...
Eugenii E. Vityaev, Yuri L. Orlov, Oleg V. Vishnev...