4469 search results - page 167 / 894 » A Language for Role Specifications |
223
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
136
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
As noted almost a decade ago, HCI (Human-Computer Interaction) aspects of visual language environments are under-developed. This remains a fact, in spite of the central role playe...
120
click to vote
PODS
1991
ACM
15 years 8 months ago
1991
ACM
In this paper we characterise exactly the complexity of a set based database language called SRL, which presents a unified framework for queries and updates. By imposing simple s...
113
click to vote
JOLLI
2002
15 years 4 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
180
Voted
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...