1415 search results - page 52 / 283 » Verified systems by composition from verified components |
173
click to vote
ETFA
2006
IEEE
16 years 11 days ago
2006
IEEE
The more the information technologies begin to be incorporated into the industrial productive fabric, the more complex it becomes to organise them. It is vital to implant proactiv...
142
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
131
click to vote
PTS
2004
15 years 7 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
203
click to vote
SDM
2012
SIAM
13 years 8 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
172
click to vote
NIPS
2004
15 years 7 months ago
2004
In this paper, linear multilayer ICA (LMICA) is proposed for extracting independent components from quite high-dimensional observed signals such as large-size natural scenes. Ther...