Sciweavers

395 search results - page 69 / 79
» Development of a formal REA-ontology Representation
Sort
View
EPK
2007
148views Management» more  EPK 2007»
15 years 1 months ago
On the Degree of Behavioral Similarity between Business Process Models
Abstract: Quality aspects become increasingly important while business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redund...
Jan Mendling, Boudewijn F. van Dongen, Wil M. P. v...
84
Voted
ATAL
2010
Springer
15 years 26 days ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ATAL
2010
Springer
15 years 26 days ago
A logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Shakil M. Khan, Yves Lespérance
AMC
2007
125views more  AMC 2007»
14 years 12 months ago
Geometric multigrid for high-order regularizations of early vision problems
The surface estimation problem is used as a model to demonstrate a framework for solving early vision problems by high-order regularization with natural boundary conditions. Becaus...
Stephen L. Keeling, Gundolf Haase
CORR
2006
Springer
137views Education» more  CORR 2006»
14 years 11 months ago
Users' participation to the design process in an Open Source Software online community
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
Flore Barcellini, Françoise Détienne...