686 search results - page 128 / 138 » Foundations for Bidirectional Programming |
199
Voted
MOBICOM
2004
ACM
16 years 4 days ago
2004
ACM
Recent years have seen the growing popularity of multi-rate wireless network devices (e.g., 802.11a cards) that can exploit variations in channel conditions and improve overall ne...
175
click to vote
SIGCOMM
2004
ACM
16 years 4 days ago
2004
ACM
Per-flow congestion control helps endpoints fairly and efficiently share network resources. Better utilization of network resources can be achieved, however, if congestion manag...
213
Voted
SIGCOMM
2004
ACM
16 years 4 days ago
2004
ACM
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building bloc...
146
Voted
AISC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
160
Voted
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...