1975 search results - page 49 / 395 » Property analysis and design understanding |
122
click to vote
CCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
130
click to vote
BIOCOMP
2010
14 years 12 months ago
2010
The tryptophan operon of E. coli represents an important regulatory unit consisting of multiple feedback loops. The role of these loops is crucial to understand the dynamics of tr...
139
click to vote
ISCAPDCS
2003
15 years 3 months ago
2003
The quick construction of the Shortest Path Tree (SPT) is essential to achieve fast routing speed for an interior network using link state protocols, such as OSPF and IS-IS. Whene...
107
click to vote
BERTINORO
2005
Springer
15 years 7 months ago
2005
Springer
Decentralized peer to peer (p2p) networks like Gnutella are attractive for certain applications because they require no centralized directories and no precise control over network ...
TCOM
2008
15 years 1 months ago
2008
In this article, we present a novel discrete-time Markov chain model of book-ahead bandwidthsharing mechanisms. We use this analytical model and a simulation model to understand t...