Sciweavers

ADVCS
2015
8 years 7 days ago
The "Win-Continue, Lose-Reverse" Rule in Oligopolies: robustness of collusive Outcomes
Abstract: The so-called “Win-Continue, Lose-Reverse” (WCLR) rule is a simple iterative procedure that can be used to choose a value for any numeric variable (e.g. setting a pri...
Segismundo S. Izquierdo, Luis R. Izquierdo
ADT
2015
8 years 7 days ago
Long-term drivers of broadband traffic in next-generation networks
This paper is concerned with long-term (20+years) forecasting of broadband traffic in next-generation networks. Such long-term approach requires going beyond extrapolations of past...
Pavel Loskot, Mohamed A. M. Hassanien, Farsheed Fa...
ADT
2015
8 years 7 days ago
A methodology for validating cloud models using metamorphic testing
Abstract Cloud computing is a paradigm that provides access to a flexible, elastic and on-demand computing infrastructure, allowing users to dynamically request virtual resources....
Alberto Nuñez, Robert M. Hierons
ADT
2015
8 years 7 days ago
Multimedia content delivery trigger in a mobile network to reduce the peak load
Nowadays, smartphones are used to download files such as movies, music, etc. These files present some flexibility in delivery time; we exploit this feature to reduce network ov...
Eduardo Andrès Celis Muñoz, Fabrice ...
ADT
2015
8 years 7 days ago
Joint distributions for total lengths of shortest-path trees in telecommunication networks
Shortest-path trees play an important role in the field of optimising fixed-access telecommunication networks with respect to costs and capacities. Distributional properties of t...
David Neuhäuser, Christian Hirsch, Catherine ...
PPNA
2016
8 years 11 days ago
OPNET-based modeling and simulation of mobile Zigbee sensor networks
Modeling and simulation can help to validate and evaluate the performance of wireless sensor networks (WSNs) within specific applications. In order to resolve the issue of the re...
Xiaolong Li, Meiping Peng, Jun Cai, Changyan Yi, H...
POPL
2016
ACM
8 years 11 days ago
Unboundedness and downward closures of higher-order pushdown automata
We show the diagonal problem for higher-order pushdown automata (HOPDA), and hence the simultaneous unboundedness problem, is decidable. From recent work by Zetzsche this means th...
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
POPL
2016
ACM
8 years 11 days ago
Transforming spreadsheet data types using examples
Cleaning spreadsheet data types is a common problem faced by millions of spreadsheet users. Data types such as date, time, name, and units are ubiquitous in spreadsheets, and clea...
Rishabh Singh, Sumit Gulwani
POPL
2016
ACM
8 years 11 days ago
Automatic patch generation by learning correct code
We present Prophet, a novel patch generation system that works with a set of successful human patches obtained from opensource software repositories to learn a probabilistic, appl...
Fan Long, Martin Rinard
POPL
2016
ACM
8 years 11 days ago
Sound type-dependent syntactic language extension
Syntactic language extensions can introduce new facilities into a programming language while requiring little implementation effort and modest changes to the compiler. It is typi...
Florian Lorenzen, Sebastian Erdweg