1376 search results - page 110 / 276 » Model-Driven Software Verification |
155
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
112
click to vote
VSTTE
2010
Springer
15 years 27 days ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
134
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
138
click to vote
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
125
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...