9110 search results - page 1459 / 1822 » Formally-Based Design Evaluation |
194
click to vote
ECWEB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Reviews and review based rankings are widely used in recommendation systems to provide potential customers quality information about selected products. During the last ye...
155
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Enterprise and data center networks consist of a large number of complex networked applications and services that depend upon each other. For this reason, they are difficult to ma...
183
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
Community wireless networks (CWNs) have been proposed to spread broadband network access to underprivileged, underprovisioned and remote areas. Research has focused on optimizing ...
143
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Mutual exclusion locks limit concurrency but offer low latency. Software transactional memory (STM) typically has higher latency, but scales well. In this paper we propose transac...
190
click to vote
DAIS
2008
15 years 7 months ago
2008
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...