3555 search results - page 506 / 711 » Security-Critical System Development with Extended Use Cases |
136
click to vote
ENTCS
2007
15 years 5 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
195
click to vote
ECEASST
2010
15 years 2 months ago
2010
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...
169
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
149
click to vote
IUI
1999
ACM
15 years 9 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
189
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The visual effects of rain are complex. Rain consists of spatially distributed drops falling at high velocities. Each drop refracts and reflects the environment, producing sharp i...