7811 search results - page 496 / 1563 » computer 2004 |
177
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
185
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
174
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
168
click to vote
WEBI
2004
Springer
16 years 6 days ago
2004
Springer
PPDN, Push-Pull Distribution Network, — a proposal for a novel framework for peer-to-peer collaborative research network is presented. Some requirements not addressed by the cur...
159
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Because of the continued development of web services protocols and the apparent convergence of Grid services with web services, it is becoming evident that web services will be an ...