3256 search results - page 442 / 652 » Applications of Formal Methods to System Design and Verifica... |
182
click to vote
ESOP
2010
Springer
16 years 9 days ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
147
click to vote
ICMCS
1999
IEEE
15 years 9 months ago
1999
IEEE
A variety of digital watermarking applications have emerged recently that require the design of systems for embedding one signal (the "embedded signal" or "watermar...
161
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
158
click to vote
BMVC
2001
15 years 7 months ago
2001
This paper addresses the problem of using appearance and motion models in classifying and tracking objects when detailed information of the object’s appearance is not available....
165
click to vote
AAMAS
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...