Sciweavers

7213 search results - page 318 / 1443
» Automated model grouping
Sort
View
LICS
2009
IEEE
16 years 1 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
DLOG
2009
15 years 7 months ago
Using Description Logics in Relation Based Access Control
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
Rui Zhang, Alessandro Artale, Fausto Giunchiglia, ...
DLOG
2009
15 years 4 months ago
Validating Process Refinement with Ontologies
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Ra...
IAT
2008
IEEE
16 years 1 months ago
Relating Cognitive Process Models to Behavioural Models of Agents
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
Alexei Sharpanskykh, Jan Treur
INFOCOM
2008
IEEE
16 years 1 months ago
A Scalable Method for Access Control in Location-Based Broadcast Services
Abstract. One important problem for such public broadcast LBS is to enforce access control on a large number of subscribers. In such a system a user typically subscribes to a LBS f...
Mudhakar Srivatsa, Arun Iyengar, Jian Yin, Ling Li...