3081 search results - page 249 / 617 » A Formal Ontology of Properties |
184
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
154
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Interdependencies between different security patterns can influence the properties of a particular pattern when applied in conjunction with other patterns. The resulting ...
178
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
149
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...
200
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...