1362 search results - page 132 / 273 » Model Checking Large Network Protocol Implementations |
141
click to vote
DSRT
2003
IEEE
15 years 8 months ago
2003
IEEE
Continued research into distributed agent-based systems and evolving web based technologies are opening up tremendous possibilities for the deployment of large scale and highly ex...
120
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— Rate adaptive multimedia streams offer significant system and client benefits over non-adaptive streams. These benefits come at the price of increased complexity in providin...
104
click to vote
DBSEC
2004
15 years 4 months ago
2004
Storage-area networks are a popular and efficient way of building large storage systems both in an enterprise environment and for multi-domain storage service providers. In both en...
112
click to vote
TCBB
2010
15 years 1 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
153
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
The research community has turned to create Semantic Overlay Networks for information retrieval in large scale peer-to-peer networks. Much research work in semantic overlay protoc...