Sciweavers

2638 search results - page 205 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
ICEIS
2008
IEEE
16 years 1 months ago
Hippocratic Multi-Agent Systems
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
Ludivine Crépin, Laurent Vercouter, Olivier...
BMCBI
2011
15 years 1 months ago
An Agent-Based Model to study the epidemiological and evolutionary dynamics of Influenza viruses
Background: Influenza A viruses exhibit complex epidemiological patterns in a number of mammalian and avian hosts. Understanding transmission of these viruses necessitates taking ...
Benjamin Roche, John M. Drake, Pejman Rohani
AISC
2008
Springer
15 years 8 months ago
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan
WSC
2004
15 years 8 months ago
A Template-Based Conceptual Modeling Infrastructure for Simulation of Physical Security Systems
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
Ashu Guru, Paul A. Savory
ECSQARU
2007
Springer
16 years 22 days ago
COBA 2.0: A Consistency-Based Belief Change System
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...