1782 search results - page 286 / 357 » Tool Support for Proof Engineering |
ICRE
1996
IEEE
14 years 28 days ago
1996
IEEE
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
ICSE
1997
IEEE-ACM
14 years 28 days ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
ICSE
1997
IEEE-ACM
14 years 28 days ago
1997
IEEE-ACM
-- Reuse of large-grain software components offers the potential for significant savings in application development cost and time. Successful component reuse and substitutability ...
ASPDAC
2007
ACM
14 years 24 days ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
CHI
2007
ACM
14 years 23 days ago
2007
ACM
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...