1678 search results - page 183 / 336 » An ASM Specification of C |
155
Voted
WER
2007
Springer
16 years 5 days ago
2007
Springer
Role-Based Access Control (RBAC) is increasingly used for ensuring security and privacy in complex organizations such as healthcare institutions. In RBAC, access permissions are g...
166
Voted
CBMS
2006
IEEE
16 years 4 days ago
2006
IEEE
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
205
click to vote
CCECE
2006
IEEE
16 years 4 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
157
click to vote
HICSS
2006
IEEE
16 years 4 days ago
2006
IEEE
Digital games have the ability to engage both children and adults alike. We are exploring the use of games for children with long term treatment regimes, where motivation for comp...
157
click to vote
DOCENG
2006
ACM
16 years 1 days ago
2006
ACM
This paper presents a system that exploits the benefits of modelling multimedia presentations as structured documents within the context of interactive digital television systems....