420 search results - page 22 / 84 » Towards Design Tools for Protocol Development |
MOBIHOC
2003
ACM
15 years 9 months ago
2003
ACM
Existing works have approached the problem of reliable transport in ad-hoc networks by proposing mechanisms to improve TCP's performance over such networks. In this paper we ...
133
click to vote
INFOCOM
2012
IEEE
12 years 12 months ago
2012
IEEE
Abstract—Capacity scaling laws offer fundamental understanding on the trend of user throughput behavior when the network size increases. Since the seminal work of Gupta and Kumar...
FAC
2006
14 years 9 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
90
Voted
ICWE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
57
Voted
TEI
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents our research toward the design and development of a library of electronic hardware modules called Blades and Tiles. Interaction hardware design with blades and...