Sciweavers

400 search results - page 47 / 80
» Designing Institutional Multi-Agent Systems
Sort
View
116
Voted
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 2 months ago
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source...
Johannes Oetsch, Jörg Pührer, Martin Sch...
IAT
2009
IEEE
15 years 9 months ago
How Do Agents Comply with Norms?
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
Guido Governatori, Antonino Rotolo
97
Voted
RTSS
2003
IEEE
15 years 8 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
116
Voted
ATAL
2010
Springer
15 years 3 months ago
Making norms concrete
In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and ...
Huib Aldewereld, Sergio Álvarez-Napagao, Fr...
139
Voted
GROUP
2007
ACM
15 years 6 months ago
The story of a working workflow management system
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...
Steen Brahe, Kjeld Schmidt