1833 search results - page 267 / 367 » Mechanized Verification with Sharing |
147
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
—The WebInVivo project aims at providing automated support for clinical research on neglected diseases. It includes mechanisms for (a) sharing and reusing clinical trial assets, ...
122
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper extends pre-existing digital divide conceptualizations to further investigate the important issue of mismatches between the ontologies of state-created information syst...
143
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
— This paper presents a concept that enables consumers to access and share product recommendations using their mobile phone. Based on a review of current product recommendation m...
151
click to vote
WISEC
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of control-channel jamming attacks in multi-channel ad hoc networks. Deviating from the traditional view that sees jamming attacks as a physical-layer vulne...
146
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Mandated requirements to share information across different sensitivity domains necessitate the design of distributed architectures to enforce information flow policies while pr...