4385 search results - page 188 / 877 » Abstraction for Concurrent Objects |
136
click to vote
ECOOPW
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
135
click to vote
FMOODS
2007
15 years 5 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
118
click to vote
SEC
2008
15 years 5 months ago
2008
Abstract IT security incidents pose a major threat to the efficient execution of corporate strategies. Although, information security standards provide a holistic approach to mitig...
131
click to vote
ERSA
2006
15 years 5 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
146
click to vote
COOTS
1998
15 years 5 months ago
1998
Execution patterns are a new metaphor for visualizing execution traces of object-oriented programs. We present an execution pattern view that lets a programmer visualize and explo...