Sciweavers

5128 search results - page 156 / 1026
» When Abstraction Fails
Sort
View
JLP
2007
99views more  JLP 2007»
15 years 6 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky
MONET
2007
132views more  MONET 2007»
15 years 5 months ago
QUORUM - Quality of Service in Wireless Mesh Networks
Abstract Wireless mesh networks (WMNs) can provide seamless broadband connectivity to network users with low setup and maintenance costs. To support nextgeneration applications wit...
Vinod Kone, Sudipto Das, Ben Y. Zhao, Haitao Zheng
CP
2010
Springer
15 years 4 months ago
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...
Laurent Michel, Alexander A. Shvartsman, Elaine L....
INFOCOM
2010
IEEE
15 years 4 months ago
RIPPLE Authentication for Network Coding
Abstract—By allowing routers to randomly mix the information content in packets before forwarding them, network coding can maximize network throughput in a distributed manner wit...
Yaping Li, Hongyi Yao, Minghua Chen, Sidharth Jagg...
MICCAI
2010
Springer
15 years 4 months ago
Spatially Regularized SVM for the Detection of Brain Areas Associated with Stroke Outcome
Abstract. This paper introduces a new method to detect group differences in brain images based on spatially regularized support vector machines (SVM). First, we propose to spatial...
Rémi Cuingnet, Charlotte Rosso, Stép...