687 search results - page 30 / 138 » Specification and Verification of Model Transformations Usin... |
102
click to vote
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
105
click to vote
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
113
click to vote
PST
2008
15 years 1 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
108
click to vote
VLC
2008
15 years 10 days ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
108
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...