2149 search results - page 286 / 430 » Form over Substance |
178
click to vote
IEE
2010
15 years 5 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
190
click to vote
IJMC
2010
15 years 4 months ago
2010
: Recently, researchers have discovered that many of social, natural and biological networks are characterized by scale-free powerlaw connectivity distribution and a few densely po...
163
click to vote
IJSR
2010
15 years 4 months ago
2010
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
148
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—Network tomography has been proposed to ascertain internal network performances from end-to-end measurements. In this work, we present priority probing, an optimal probing schem...
218
click to vote
TCAD
2008
15 years 4 months ago
2008
In this paper, we propose a high-performance droplet router for a digital microfluidic biochip (DMFB) design. Due to recent advancements in the biomicroelectromechanical system and...