3081 search results - page 350 / 617 » A Formal Ontology of Properties |
134
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
201
click to vote
ICAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...
178
click to vote
CALCO
2005
Springer
16 years 7 days ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
171
click to vote
FM
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
171
click to vote
FORMATS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...