8828 search results - page 301 / 1766 » Formal methods in practice |
193
click to vote
ICNP
2006
IEEE
16 years 22 days ago
2006
IEEE
— File distribution via network coding has received a lot of attention lately. However, direct application of network coding may have security problems. In particular, attackers ...
176
Voted
OSS
2009
Springer
15 years 11 months ago
2009
Springer
Background: The number of reported empirical studies of Open Source Software (OSS) has continuously been increasing. However, there has been no effort to systematically review the ...
204
click to vote
EC
1998
15 years 6 months ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
199
click to vote
TMC
2012
13 years 9 months ago
2012
Abstract—In order to achieve data delivery in Delay Tolerant Networks (DTN), researchers have proposed the use of store-carryand-forward protocols: a node there may store a messa...
165
Voted
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Abstract. We consider the problem of camera selfcalibration, from images of a planar object with unknown Euclidean structure. The general case of possibly varying focal length is a...