4469 search results - page 180 / 894 » A Language for Role Specifications |
175
click to vote
COMPSEC
2008
15 years 6 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
189
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
166
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
279
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...