5243 search results - page 39 / 1049 » Reasoning About Strategies |
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
PODS
2007
ACM
14 years 8 months ago
2007
ACM
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
EPEW
2005
Springer
14 years 2 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
SEMWEB
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...