Sciweavers

2838 search results - page 5 / 568
» Verifying Controlled Components
Sort
View
HYBRID
1992
Springer
14 years 26 days ago
Verifying Hybrid Systems
Zohar Manna, Amir Pnueli
LOBJET
2008
104views more  LOBJET 2008»
13 years 8 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte
BMCBI
2006
129views more  BMCBI 2006»
13 years 8 months ago
Independent Component Analysis-motivated Approach to Classificatory Decomposition of Cortical Evoked Potentials
Background: Independent Component Analysis (ICA) proves to be useful in the analysis of neural activity, as it allows for identification of distinct sources of activity. Applied t...
Tomasz G. Smolinski, Roger Buchanan, Grzegorz M. B...
ENVSOFT
2006
72views more  ENVSOFT 2006»
13 years 8 months ago
Integrating legacy components into a software system for storm sewer simulation
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
Shiu-Shin Lin, Shang-Hsien Hsieh, Jan-Tai Kuo, Yin...
COMPUTER
1999
69views more  COMPUTER 1999»
13 years 8 months ago
Scientific Components Are Coming
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
Paul F. Dubois