Sciweavers

675 search results - page 98 / 135
» Using Fairness to Make Abstractions Work
Sort
View
138
Voted
EUROPAR
2010
Springer
15 years 4 months ago
Sampling Bias in BitTorrent Measurements
Abstract. Real-world measurements play an important role in understanding the characteristics and in improving the operation of BitTorrent, which is currently a popular Internet ap...
Boxun Zhang, Alexandru Iosup, Johan A. Pouwelse, D...
129
Voted
IJSNET
2008
114views more  IJSNET 2008»
15 years 3 months ago
PERT: a new power-efficient real-time packet delivery scheme for sensor networks
Abstract: We present PERT, a power-efficient scheme to deliver real-time data packets in sensor networks. Time-sensitive sensor data is common in applications such as hazard monito...
Shanzhong Zhu, Wei Wang, Chinya V. Ravishankar
115
Voted
CSUR
1999
137views more  CSUR 1999»
15 years 3 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
128
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
156
Voted
POPL
2012
ACM
13 years 11 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...