4218 search results - page 322 / 844 » Complete sets of cooperations |
139
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
—Current approaches to transactional support of distributed processes in service-oriented environments are limited to scenarios where the participant initiating the process maint...
189
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
220
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
198
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
154
Voted
EGOV
2007
Springer
16 years 1 months ago
2007
Springer
Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...