4212 search results - page 504 / 843 » Rights Expression Languages |
143
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
153
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
187
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
179
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
168
Voted
MICAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...