13383 search results - page 2399 / 2677 » Abstractions from proofs |
151
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract—Uplink scheduling in wireless systems is gaining importance due to arising uplink intensive data services (ftp, image uploads etc.), which could be hampered by the curre...
136
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
135
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract—The dynamics of the survival of recruiting fish are analyzed as evolving random processes of aggregation and mortality. The analyses draw on recent advances in the phys...
118
click to vote
ASIAN
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
148
click to vote
DBISP2P
2003
Springer
15 years 9 months ago
2003
Springer
Databases have employed a schema-based approach to store and retrieve structured data for decades. For peer-to-peer (P2P) networks, similar approaches are just beginning to emerge,...