618 search results - page 52 / 124 » Meaning and Partiality Revised |
150
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
Several approaches to the product of non-additive monotone measures or capacities are discussed and a new approach is proposed. It starts with the Mobius product 2 of totally mono...
149
click to vote
ISCAPDCS
2001
15 years 7 months ago
2001
The problem addressed in this paper deals with data sharing as a means to cooperate. Our main focus is on transactional mechanisms to manage concurrent accesses to (partially) sha...
155
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...
101
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
: Meroitic is the still undeciphered language of the ancient civilization of Kush. Over the years, various techniques for decipherment such as finding a bilingual text or cognates ...
152
click to vote
ENTCS
2006
15 years 5 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...