2864 search results - page 394 / 573 » Geo Linked Data |
144
click to vote
DAM
2008
15 years 4 months ago
2008
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
155
click to vote
ENTCS
2008
15 years 4 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
125
click to vote
COMCOM
2006
15 years 4 months ago
2006
In the paper, we consider a preference heterogeneity problem in large-scale multicast applications. Abundant content, data type and diverse members' interests naturally lead ...
173
click to vote
IJISEC
2006
15 years 4 months ago
2006
Abstract We present a monitoring system which detects repeated packets in network traffic, and has applications including detecting computer worms. It uses Bloom filters with count...
142
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents the design and implementation of a Grid-enabled physics analysis environment for handheld and other resource-limited computing devices as one example of the us...