498 search results - page 11 / 100 » A Formal Foundation for ODRL |
179
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
POPL
1992
ACM
15 years 1 months ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
FIW
1997
14 years 11 months ago
1997
Consideration of services in the Intelligent Network and telecommunications leads to the definition of ANISE (Architectural Notions In Service Engineering). This is a rigorous lan...
CSL
2006
Springer
15 years 1 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
AAAI
2008
15 years 4 days ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...