498 search results - page 43 / 100 » A Formal Foundation for ODRL |
125
click to vote
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
111
click to vote
PLDI
2011
ACM
14 years 23 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
102
click to vote
ADAPTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...