821 search results - page 105 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
ICDT
1995
ACM
15 years 3 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
In this paper, we present a new framework that performs automated local wall motion analysis based on the combined information derived from a rest and stress sequence (a full stres...
102
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...