10159 search results - page 666 / 2032 » System Design Validation Using Formal Models |
194
click to vote
AVSS
2005
IEEE
16 years 1 months ago
2005
IEEE
We present an integrated pixel segmentation and region tracking algorithm, designed for indoor environments. Visual monitoring systems often use frame differencing techniques to i...
189
Voted
DAC
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
177
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
204
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
207
click to vote
TCS
2008
15 years 7 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...