1981 search results - page 50 / 397 » Model-Checking Hierarchical Structures |
PARA
2004
Springer
14 years 2 months ago
2004
Springer
A big challenge in implementing up to date simulation software for various applications is to bring together highly efficient mathematical methods on the one hand side and an ef...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
ENTCS
2008
13 years 8 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
SIGGRAPH
1996
ACM
14 years 28 days ago
1996
ACM
The result of a scene manipulation is usually displayed by rerendering the entire image even if the change has affected only a small portion of it. This paper presents a system th...
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
— Protein sequence motifs information is crucial to the analysis of biologically significant regions. The conserved regions have the potential to determine the role of the protei...