1838 search results - page 241 / 368 » Process modelling: the deontic way |
182
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
182
click to vote
SERA
2005
Springer
15 years 12 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
168
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents OntoWeaver-S, an ontology-based infrastructure for building knowledge portals. In particular, OntoWeaver-S is integrated with a comprehensive web service platfo...
170
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
156
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we show how to deform a planar rational cubic based on a local interpolation constraint while retaining the qualitative shape of the curve. An impedance-type, paral...