Sciweavers

44 search results - page 8 / 9
» Specifying Open Agent Systems: A Survey
Sort
View
EUC
2005
Springer
13 years 11 months ago
Baton: A Service Management System for Coordinating Smart Things in Smart Spaces
Smart spaces are open complex computing systems, consisting of a large variety of cooperative smart things. Central to building smart spaces is the support for sophisticated coordi...
Jingyu Li, Yuanchun Shi
CCIA
2008
Springer
13 years 7 months ago
Probabilistic Dynamic Belief Logic for Image and Reputation
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
Isaac Pinyol, Jordi Sabater-Mir, Pilar Dellunde
BMCBI
2007
187views more  BMCBI 2007»
13 years 5 months ago
BioWMS: a web-based Workflow Management System for bioinformatics
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
COMMA
2006
13 years 6 months ago
Towards Representing and Querying Arguments on the Semantic Web
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...
Iyad Rahwan, P. V. Sakeer
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
13 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