4212 search results - page 502 / 843 » Rights Expression Languages |
183
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
Many problems in chemistry, robotics or molecular biology can be expressed as a Distance CSP4 . In this paper, we propose a specific methodology for tackling uncertainties in this...
161
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...
153
click to vote
ICTAC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
185
click to vote
RULEML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
165
click to vote
SIGSOFT
2004
ACM
16 years 3 days ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...