13977 search results - page 2609 / 2796 » Evolution in complex systems |
163
click to vote
QEST
2007
IEEE
16 years 22 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
178
click to vote
ALGOSENSORS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We consider the problem of counting the number of indistinguishable targets using a simple binary sensing model. Our setting includes an unknown number of point targets i...
174
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
190
click to vote
CIA
2007
Springer
16 years 19 days ago
2007
Springer
Trust learning is a crucial aspect of information exchange, negotiation, and any other kind of social interaction among autonomous agents in open systems. But most current probabil...
160
click to vote
DFG
2007
Springer
16 years 19 days ago
2007
Springer
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...