4897 search results - page 425 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
176
click to vote
MEDINFO
2007
15 years 8 months ago
2007
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
181
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Personalization is a ubiquitous phenomenon in our daily online experience. While such technology is critical for helping us combat the overload of information we face, in many cas...
188
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
161
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...
152
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Large-scale attacks generated by fast-spreading or stealthy malicious mobile code, such as flash worms and e-mail viruses, demand new approaches to patch management and disinfecti...