3362 search results - page 103 / 673 » A definition of subjective possibility |
181
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
170
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...
158
click to vote
CAISE
1998
Springer
15 years 10 months ago
1998
Springer
: Traceability is a prerequisite for developing high quality (software) systems. Recording and maintaining all available information is too labor intensive and thus by far too expe...
158
click to vote
ERCIMDL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper, we describe a scenario for a distributed marketplace on the Web where resource discovery agents find out about resources that may want to join the marketpl...
193
click to vote
IFL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...