587 search results - page 84 / 118 » Mathematical Analysis of Multi-Agent Systems |
CCS
2007
ACM
14 years 5 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
CSB
2005
IEEE
14 years 4 months ago
2005
IEEE
Cutting-edge biological and bioinformatics research seeks a systems perspective through the analysis of multiple types of high-throughput and other experimental data for the same ...
BMCBI
2008
13 years 11 months ago
2008
Background: Localization of complex traits by genetic linkage analysis may involve exploration of a vast multidimensional parameter space. The posterior probability of linkage (PP...
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...
CSB
2003
IEEE
14 years 4 months ago
2003
IEEE
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...