Sciweavers

3429 search results - page 126 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
SACMAT
2006
ACM
14 years 3 months ago
Secure resource description framework: an access control model
In this paper we propose an access control model for the Resource Description Framework (RDF). We argue that existing access control models, like the ones developed for securing e...
Amit Jain, Csilla Farkas
POPL
2007
ACM
14 years 9 months ago
Cost semantics for space usage in a parallel language
We describe a framework for better understanding scheduling policies for fine-grained parallel computations and their effect on space usage. We define a profiling semantics that c...
Daniel Spoonhower
MEDINFO
2007
157views Healthcare» more  MEDINFO 2007»
13 years 10 months ago
EHR Query Language (EQL) - A Query Language for Archetype-Based Health Records
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 ...
Chunlan Ma, Heath K. Frankel, Thomas Beale, Sam He...
ICC
2009
IEEE
118views Communications» more  ICC 2009»
14 years 3 months ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
COGSCI
2004
105views more  COGSCI 2004»
13 years 9 months ago
Intention, interpretation and the computational structure of language
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...
Matthew Stone