53327 search results - page 10405 / 10666 » or 2007 |
192
click to vote
TELETRAFFIC
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Renewed interest in ALOHA-based Medium Access Control (MAC) protocols stems from their proposed applications to wireless ad hoc and sensor networks that require distribut...
135
click to vote
TGC
2007
Springer
16 years 7 days ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
161
click to vote
TGC
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
164
Voted
TGC
2007
Springer
16 years 7 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
167
click to vote
TLCA
2007
Springer
16 years 7 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...