Sciweavers

1049 search results - page 81 / 210
» A Document Based Framework for Smart Object Systems
Sort
View
ECOOP
2007
Springer
14 years 21 days ago
Validity Invariants and Effects
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
Yi Lu 0003, John Potter, Jingling Xue
ENTCS
2007
121views more  ENTCS 2007»
13 years 8 months ago
Audit-Based Access Control for Electronic Health Records
Traditional access control mechanisms aim to prevent illegal actions a-priori occurrence, i.e. before granting a request for a document. There are scenarios however where the secu...
M. A. C. Dekker, Sandro Etalle
AH
2006
Springer
14 years 2 months ago
Adaptive Patient Education Framework Featuring Personalized Cardiovascular Risk Management Interventions
Abstract. The PULSE project objectives are to generate and evaluate a webbased personalized educational intervention for the management of cardiovascular risk. We present a web-bas...
Selena Davis, Syed Sibte Raza Abidi
DAI
1995
Springer
14 years 9 days ago
A Methodology for Developing Agent Based Systems
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
Elizabeth A. Kendall, Margaret T. Malkoun, Chong H...
CVPR
2000
IEEE
14 years 1 months ago
Adaptive Bayesian Recognition in Tracking Rigid Objects
We present a framework for tracking rigid objects based on an adaptive Bayesian recognition technique that incorporates dependencies between object features. At each frame we fin...
Yuri Boykov, Daniel P. Huttenlocher