1901 search results - page 256 / 381 » Predicting Program Properties from |
119
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
131
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
174
click to vote
EASSS
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
112
click to vote
AGP
1997
IEEE
15 years 7 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
114
click to vote
EEE
2004
IEEE
15 years 6 months ago
2004
IEEE
Loyalty systems provide an interesting possibility for vendors in customer relationship management. This holds for both real world and online vendors. Beside potential benefits of...