3082 search results - page 101 / 617 » Deviation Analysis: A New Use of Model Checking |
167
click to vote
FPGA
2010
ACM
16 years 3 months ago
2010
ACM
Deep submicron processes have allowed FPGAs to grow in complexity and speed. However, such technology scaling has caused FPGAs to become more susceptible to the effects of process...
169
click to vote
TSP
2008
15 years 6 months ago
2008
This paper studies the statistical behavior of an affine combination of the outputs of two least mean-square (LMS) adaptive filters that simultaneously adapt using the same white G...
192
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
201
click to vote
IJCAI
2003
15 years 7 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
139
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...