Sciweavers

787 search results - page 121 / 158
» Modelling Uncertainty in Agent Programming
Sort
View
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 9 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
ATAL
2009
Springer
15 years 11 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 5 months ago
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
Omar I. Al-Bataineh, Ron van der Meyden
MKWI
2008
150views Business» more  MKWI 2008»
15 years 6 months ago
A Reference Model for Seamless Cross-Organizational Collaboration in the Public Sector
: Today, electronic cross-company collaboration is about to gain significant momentum, but still shows weaknesses with respect to productivity, flexibility and quality: A lack of s...
Christoph Schroth
AAAI
1994
15 years 6 months ago
Model-Based Automated Generation of User Interfaces
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
Angel R. Puerta, Henrik Eriksson, John H. Gennari,...