796 search results - page 110 / 160 » An Overview of Separation Logic |
100
click to vote
SERP
2003
15 years 1 months ago
2003
Design patterns provide a medium-grained ion and can be used as an effective tool for understanding object-oriented systems. This paper presents a simple tool for the extraction o...
112
click to vote
WM
2003
15 years 1 months ago
2003
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
ECSA
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
IJNSEC
2008
14 years 12 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...