3713 search results - page 178 / 743 » Constructing a Calculus of Programs |
137
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes a study in the evolution of cooperative behavior, specifically the construction of communication networks, through digital evolution and multilevel selection...
122
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
121
Voted
ENTCS
2007
15 years 3 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
137
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Parameter tampering attacks are dangerous to a web application whose server fails to replicate the validation of user-supplied data that is performed by the client. Malicious user...
136
click to vote
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...