1050 search results - page 72 / 210 » The problem with rights expression languages |
169
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
146
click to vote
GPCE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents FeatureC++, a novel language extension to C++ that supports Feature-Oriented Programming (FOP) and Aspect-Oriented Programming (AOP). Besides well-kno...
168
click to vote
CONCUR
2007
Springer
16 years 15 days ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
167
click to vote
CARDIS
2000
Springer
15 years 10 months ago
2000
Springer
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
191
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...