Sciweavers

2642 search results - page 145 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
ACMICEC
2003
ACM
113views ECommerce» more  ACMICEC 2003»
15 years 9 months ago
PayCash: a secure efficient Internet payment system
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
Jon M. Peha, Ildar M. Khamitov
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 2 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
TCOM
2010
102views more  TCOM 2010»
15 years 2 months ago
A system performance approach to OSNR optimization in optical networks
Abstract—This paper studies a constrained optical signal-tonoise ratio (OSNR) optimization problem in optical networks from the perspective of system performance. A system optimi...
Yan Pan, Tansu Alpcan, Lacra Pavel
SOCIALCOM
2010
15 years 2 months ago
On the Navigability of Social Tagging Systems
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
Denis Helic, Christoph Trattner, Markus Strohmaier...
DSRT
2009
IEEE
15 years 2 months ago
DCS: A Distributed Coordinate System for Network Positioning
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
Negar Hariri, Jafar Habibi, Shervin Shirmohammadi,...