1833 search results - page 133 / 367 » Mechanized Verification with Sharing |
131
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
146
click to vote
APN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
150
click to vote
FORTE
2010
15 years 6 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
134
click to vote
WSC
1994
15 years 6 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
145
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...