1377 search results - page 120 / 276 » A bio-inspired system model for interactive surveillance app... |
174
click to vote
SEMCO
2008
IEEE
16 years 24 days ago
2008
IEEE
A huge amount of data and metadata emerges from Web 2.0 applications which have transformed the Web to a mass social interaction and collaboration medium. Collaborative Tagging Sy...
149
click to vote
TPHOL
2005
IEEE
16 years 6 min ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
156
click to vote
WSC
2000
15 years 7 months ago
2000
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
157
click to vote
IFIP13
2004
15 years 7 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
164
click to vote
WSC
2000
15 years 7 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...