4438 search results - page 622 / 888 » The Case for Collaborative Programming |
170
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
155
click to vote
IFIP
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
150
click to vote
LPAR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
121
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
169
click to vote
RTA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...