812 search results - page 131 / 163 » A Complete Guide to the Future |
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
96
Voted
TKDE
2010
14 years 8 months ago
2010
—Peer-to-peer (P2P) networks are vulnerable to peers who cheat, propagate malicious code, leech on the network, or simply do not cooperate. The traditional security techniques de...
105
Voted
EUROMED
2010
14 years 7 months ago
2010
In the last years the Geomatic Research Group of the Politecnico di Torino faced some new research topics about new instruments for point cloud generation (e.g. Time of Flight came...
IMC
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents a network layer Internet topology collection tool called tracenet. Compared to traceroute, tracenet can collect a more complete topology information on an end-...
107
click to vote
CPC
2010
14 years 7 months ago
2010
Let G be a fixed connected multigraph with no loops. A random n-lift of G is obtained by replacing each vertex of G by a set of n vertices (where these sets are pairwise disjoint)...