1548 search results - page 204 / 310 » Semantics and Extensions of WS-Agreement |
140
click to vote
VL
2002
IEEE
15 years 10 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
193
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
197
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
147
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
132
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...