Sciweavers

366 search results - page 5 / 74
» Combining Agent-Oriented Conceptual Modelling with Formal Me...
Sort
View
IS
2007
13 years 6 months ago
Formalizing the evolution of virtual communities
Collaboration increasingly takes place in virtual communities using the Internet. These communities are socio-technical systems that tend to evolve strongly and become more comple...
Aldo de Moor, Hans Weigand
SIGSOFT
2001
ACM
14 years 7 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
ATAL
2009
Springer
14 years 1 months ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
IJSI
2008
126views more  IJSI 2008»
13 years 6 months ago
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
Hui Shi, Bernd Krieg-Brückner
HICSS
2008
IEEE
133views Biometrics» more  HICSS 2008»
14 years 1 months ago
Towards a Belief-Theoretic Model for Collaborative Conceptual Model Development
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
Ebrahim Bagheri, Ali A. Ghorbani