1288 search results - page 106 / 258 » On Analysis of Design Component Contracts: A Case Study |
103
click to vote
DMSN
2004
ACM
15 years 7 months ago
2004
ACM
In this position paper, we present MEADOWS, a software framework that we are building at HKUST (The Hong Kong University of Science and Technology) for modeling, emulation, and an...
117
click to vote
SAFECOMP
2004
Springer
15 years 7 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
DOCENG
2010
ACM
15 years 2 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
117
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...
116
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...