426 search results - page 28 / 86 » Towards Verifying Model Transformations |
WORDS
2005
IEEE
14 years 3 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
MKWI
2008
13 years 11 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
ASE
2008
13 years 10 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
BMCBI
2005
13 years 9 months ago
2005
Background: The sequencing of the human genome has enabled us to access a comprehensive list of genes (both experimental and predicted) for further analysis. While a majority of t...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
This paper presents an algorithm for multiscale image segmentation. Towards this, it proposes a new region model, that of a homogenous region surrounded by ramp discontinuities (a...