3081 search results - page 310 / 617 » A Formal Ontology of Properties |
159
click to vote
SOCO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
183
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
196
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
168
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...
149
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...