6527 search results - page 1214 / 1306 » On Typing Information Flow |
175
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
— This paper focuses on the problem of rostering in intermittently connected passive RFID networks. It aims to report a list of tagged mobile nodes that appear in given intereste...
279
click to vote
KCAP
2011
ACM
14 years 9 months ago
2011
ACM
Gold standard mappings created by experts are at the core of alignment evaluation. At the same time, the process of manual evaluation is rarely discussed. While the practice of ha...
170
click to vote
NAR
2011
14 years 9 months ago
2011
REPAIRtoire is the first comprehensive database resource for systems biology of DNA damage and repair. The database collects and organizes the following types of information: (i) ...
168
click to vote
NAR
2011
14 years 9 months ago
2011
Cancer is known to have abundant copy number alterations (CNAs) that greatly contribute to its pathogenesis and progression. Investigation of CNA regions could potentially help id...
259
click to vote
PLPV
2011
ACM
14 years 9 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...