5525 search results - page 512 / 1105 » Verification of Model Transformations |
200
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
189
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
191
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Criminal behaviour often involves a combination of physical, mental, social and environmental (multi-)agent aspects, such as neurological deviations, hormones, arousal, (non)empat...
195
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
181
click to vote
ISPW
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...