1975 search results - page 157 / 395 » Property analysis and design understanding |
158
Voted
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
16 years 9 days ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
213
click to vote
ICSM
2003
IEEE
16 years 4 hour ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
154
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We report on the design and analysis of a controller which can achieve dynamical self-righting of our hexapedal robot, RHex. We present an empirically developed control procedure ...
128
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- Network Intrusion Detection Systems (NIDS) capture large amounts of data that is difficult or impractical to report and analyze directly from the capture device. It is also commo...
211
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
Interoperability problems arise when complex software systems are constructed by integrating distinct, and often heterogeneous, components. By performing interoperability analysis...