5255 search results - page 476 / 1051 » Formal Methods for Privacy |
155
click to vote
SAS
1994
Springer
15 years 11 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
255
Voted
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
224
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
201
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
168
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...