Sciweavers

9455 search results - page 422 / 1891
» The Modelling Language Zinc
Sort
View
MODELS
2007
Springer
16 years 1 months ago
Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
Michael Hafner, Mukhtiar Memon, Muhammad Alam
IJCNLP
2005
Springer
16 years 1 months ago
Adapting a Probabilistic Disambiguation Model of an HPSG Parser to a New Domain
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...
Tadayoshi Hara, Yusuke Miyao, Jun-ichi Tsujii
SELMAS
2005
Springer
16 years 1 months ago
Agent Roles, Qua Individuals and the Counting Problem
Despite the relevance of the concept of role for conceptual modeling and agent-orientation, there is still in the literature a lack of consensus on the meaning of this notion and h...
Giancarlo Guizzardi
DALT
2009
Springer
16 years 2 months ago
Playing with Rules
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
João Leite
FDL
2007
IEEE
16 years 1 months ago
How Different are Esterel and SystemC?
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
Jens Brandt, Klaus Schneider