12981 search results - page 2401 / 2597 » Model Checking (Abstract) |
103
click to vote
TOCS
2008
15 years 3 months ago
2008
We introduce external synchrony, a new model for local file I/O that provides the reliability and simplicity of synchronous I/O, yet also closely approximates the performance of a...
140
click to vote
JCSS
2007
15 years 3 months ago
2007
Automata for unranked trees form a foundation for XML schemas, querying and pattern languages. We study the problem of efficiently minimizing such automata. First, we study unrank...
150
Voted
TON
2008
15 years 3 months ago
2008
Abstract--As the Internet evolves into a ubiquitous communication infrastructure and supports increasingly important services, its dependability in the presence of various failures...
158
Voted
TON
2008
15 years 3 months ago
2008
Abstract--In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node fail...
152
Voted
JHSN
2007
2007
A priority-aware CSMA/CP MAC protocol for the all-optical IP-over-WDM metropolitan area ring network
15 years 3 months ago
Abstract. The paper proposes a priority-aware MAC (Medium Access Control) protocol for a core metropolitan area network in the next generation Internet, which is an OPS (Optical Pa...