3973 search results - page 21 / 795 » Records for Logic Programming |
102
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
105
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This study builds on the theory of planned behavior, institutional and diffusion theories to investigate physicians’ attitudes and usage behaviors of electronic medical records ...
101
click to vote
KI
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Many employers now provide electronic personal health records (PHR) to employees as part of a free or low cost health benefit program. This paper reports findings from a survey di...
100
click to vote
MEDINFO
2007
15 years 1 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 ...