1638 search results - page 213 / 328 » Properties of input-consuming derivations |
183
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
150
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Unlike active force closure, which is a property for the multi-finger robotic hand grasping, passive force closure are involved in the grasping systems with constraining devic...
169
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents Respondent-Driven Sampling (RDS) as a promising technique to derive unbiased estimates of node properties in unstructured overlay networks such as Gnutella. ...
160
click to vote
IOLTS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
169
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...