5775 search results - page 335 / 1155 » A Rationale-based Analysis Tool |
185
click to vote
ENTCS
2006
15 years 6 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
206
Voted
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
165
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Single amino acid repeats make up a significant proportion in all of the proteomes that have currently been determined. They have been shown to be functionally and med...
157
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
180
click to vote
IVS
2008
15 years 6 months ago
2008
Wikipedia is a large and rapidly growing Web-based collaborative authoring environment, where anyone on the Internet can create, modify, and delete pages about encyclopedic topics...