906 search results - page 37 / 182 » Linking Theories of Concurrency |
180
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Graph theory provides a powerful set of metrics and conceptual ideas to model and investigate the behavior of communication networks. Most graph-theoretical frameworks in the netw...
144
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
165
click to vote
INFFUS
2006
15 years 6 months ago
2006
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
214
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
This work introduces new bounds on the clique number of graphs derived from a result due to S´os and Straus, which generalizes the Motzkin-Straus Theorem to a specific class of h...
178
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Most existing transcriptional databases like Comprehensive Systems-Biology Database (CSB.DB) and Arabidopsis Microarray Database and Analysis Toolbox (GENEVESTIGATOR) ...