5525 search results - page 196 / 1105 » Verification of Model Transformations |
169
click to vote
JUCS
2006
15 years 6 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
172
click to vote
ICWE
2005
Springer
16 years 2 days ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
209
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The construction of low-dimensional models explaining highdimensional signal observations provides concise and efficient data representations. In this paper, we focus on pattern ...
208
click to vote
WORDS
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
200
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...