6245 search results - page 1070 / 1249 » A Case for Aggregate Networks |
193
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
184
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Identifying protein-protein interactions is fundamental for understanding the molecular machinery of the cell. Proteome-wide studies of protein-protein interactions ar...
213
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We consider resource-constrained broadcast authentication for n receivers in a static, known network topology. There are only two known broadcast authentication protocols...
177
click to vote
TMA
2010
Springer
15 years 4 months ago
2010
Springer
Spurious Retransmission Timeouts in TCP connections have been extensively studied in the scientific literature, particularly for their relevance in cellular mobile networks. At the...
168
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We determine the robust Nash equilibrium (RNE) for a wide range of problems in communications systems and networks that are faced with uncertainty in their parameters’ values. T...