2036 search results - page 274 / 408 » A generic type-and-effect system |
112
Voted
P2P
2005
IEEE
15 years 6 months ago
2005
IEEE
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...
115
Voted
PDP
2005
IEEE
15 years 6 months ago
2005
IEEE
the emergence of Internet and new kind of architecture, likepeer-to-peer (P2P) networks, provides great hope for distributed computation. However, the combination of the world of ...
MOBIDE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we present an extensible approach to the adaptation of Web information delivery according to different and possibly heterogeneous contexts. The approach is based o...
83
Voted
MSWIM
2005
ACM
15 years 6 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
117
click to vote
IFM
2005
Springer
15 years 6 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...