1454 search results - page 113 / 291 » Stateful traits and their formalization |
121
click to vote
SAS
1997
Springer
15 years 4 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
104
Voted
WDAG
1993
Springer
15 years 4 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
105
Voted
ARGMAS
2007
Springer
15 years 4 months ago
2007
Springer
Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improving the likelihood and quality of ...
97
Voted
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
101
Voted
CP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...