Sciweavers

1394 search results - page 94 / 279
» Executing Nested Queries
Sort
View
CSFW
2009
IEEE
15 years 8 months ago
Specification and Analysis of Dynamic Authorisation Policies
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
Moritz Y. Becker
PEPM
1991
ACM
15 years 7 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen
ANLP
2000
108views more  ANLP 2000»
15 years 5 months ago
Plan-Based Dialogue Management in a Physics Tutor
This paper describes an application of APE (the Atlas Planning Engine), an integrated planning and execution system at the heart of the Atlas dialogue management system. APE contr...
Reva Freedman
CASCON
1996
118views Education» more  CASCON 1996»
15 years 5 months ago
Automatic parallelization for symmetric shared-memory multiprocessors
The trend in workstation hardware is towards symmetric shared-memory multiprocessors (SMPs). User expectations are for (largely) automatic exploitation of parallelismon an SMP, si...
Jyh-Herng Chow, Leonard E. Lyon, Vivek Sarkar
IJMI
2002
126views more  IJMI 2002»
15 years 3 months ago
Representation primitives, process models and patient data in computer-interpretable clinical practice guidelines: : A literatur
Representation of clinical practice guidelines in a computer-interpretable format is a critical issue for guideline development, implementation, and evaluation. We studied 11 type...
Dongwen Wang, Mor Peleg, Samson W. Tu, Aziz A. Box...