3429 search results - page 347 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
127
Voted
COMAD
2008
15 years 6 months ago
2008
Role-based access control (RBAC) has attracted considerable research interest. However, the computational issues of RBAC models are yet to be thoroughly studied. In this paper, we...
134
click to vote
NLPRS
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a sentence extraction method based on Concept Coupling Model, a language model for handling natural language sentence structures. Sentence extraction is perfor...
148
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
140
click to vote
CAI
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
230
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...