Browsing School of Computing Faculty Publications by Publish Date
Now showing items 1-20 of 28
-
On a class of covering problems with variable capacities in wireless networks
(2016-02-18)We consider the problem of allocating clients to base stations in wireless networks. Two design decisions are the location of the base stations, and the power levels of the base stations. We model the interference, due to ... -
Model Development Guidelines for UML-RT: Conventions, Patterns and Antipatterns
(2016-07-21)Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. This paper ... -
Supporting the Model-Driven Development of Real-time Embedded Systems with Run-Time Monitoring and Animation via Highly Customizable Code Generation
(ACM, 2016-10-02)This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in ... -
Descriptional complexity of unambiguous input-driven pushdown automata
(Theoretical Computer Science, 2015-04)It is known that a nondeterministic input-driven pushdown automaton (IDPDA) (a.k.a.~visibly pushdown automaton; a.k.a.~nested word automaton) of size $n$ can be transformed to an equivalent deterministic automaton of ... -
State complexity of deletion and bipolar deletion
(Springer-Verlag, 2016)It is well known that the language obtained by deleting an arbitrary language from a regular language is regular. We give an upper bound for the state complexity of deleting an arbitrary language from a regular ... -
Growth Rate of Minimum Branching
(Institut fur Informatik, Justus-Liebig Universitat Giessen, 2018-03-14)There are different ways of quantifying the nondeterminism used by a nondeterministic finite automaton (NFA). The amount of nondeterminism is measured as a function of the input length. For most ... -
State Complexity of Neighbourhoods and Approximate Pattern Matching
(World Scientific, 2018-02)The neighbourhood of a language L with respect to an additive distance consists of all strings that have distance at most the given radius from some string of L. We show that the worst case deterministic state complexity ... -
A delay-tolerant framework for integrated RSNs in IoT
(2013)The Internet of Things (IoT) represents an evolutionary vision that promises to identify and connect physical objects and devices. This vision faces many challenges in terms of integrating technologies, especially RFID-sensor ... -
Characterizing Multi-hop Localization for Internet of Things
(2016-12-16)Deployments over large geographical areas in the Internet of Things (IoT) pose a major challenge for single‐hop localization techniques, giving rise to applications of multi‐hop localizations. And while many proposals have ... -
Distributed Data Storage Systems for Data Survivability in Wireless Sensor Networks using Decentralized Erasure Codes
(2016)Achieving reliability in Wireless Sensor Networks (WSNs) is challenging due to the limited resources available. In this study, we investigate the design of data survivability schemes using decentralized storage systems in ... -
A Lookback Scheduling Framework for Long‐term Quality of Service Over Multiple Cells
(2014)In current cellular networks, schedulers allocate wireless channel resources to users based on instantaneous channel gains and short‐term moving averages of user rates and queue lengths. By using only such short‐term ... -
A Power Control Technique for Anti-collision Schemes in RFID Systems
(2013)The emerging technology of Radio Frequency IDentification (RFID) has enabled a wide range of automated tracking and monitoring applications. However, the process of interrogating a set of RFID tags usually involves sharing ... -
A Survey of Peer-to-Peer Live Video Streaming Schemes – an Algorithmic Perspective
(2012)Live video streaming applications have gained great popularity among users but exert great pressure on video servers and the Internet. Peer-to-Peer (P2P) networks provide an attractive solution due to their low cost and ... -
Understanding the Impact of Neighboring Strategy in Peer-to-Peer Multimedia Streaming Applications
(2012)Peer-to-peer (P2P) multimedia streaming applications need to reduce network traffic to address ISPs’ concerns without sacrificing the quality of users’ viewing experience. Several studies on P2P file sharing applications ... -
Managing Connection Costs in Heterogeneous Wireless Networks
(2014)Common Radio Resource Management techniques have shown great promise in both enhancing network operation and user satisfication. Such gains are achieved through the joint management of the individual access technologies ... -
A Priced Public Sensing Framework for Heterogeneous IoT Architectures
(2013)The proliferation of wireless sensors has given rise to public sensing (PS) as a vibrant data-sharing model. This vision can be extended under the umbrella of the Internet of Things (IoT) to include versatile data sources ... -
Predictive Green Wireless Access: Exploiting Mobility and Application Information
(2013)The ever increasing mobile data traffic and dense deployment of wireless networks have made energy efficient radio access imperative. As networks are designed to satisfy peak user demands, radio access energy can be reduced ... -
Toward Green Media Delivery: Location-aware Opportunities and Approaches
(2014)Mobile media has undoubtedly become the predominant source of traffic in wireless networks. The result is not only congestion and poor Quality-of-Experience, but also an unprecedented energy drain at both the network and ... -
Energy-Efficient Adaptive Video Transmission: Exploiting Rate Predictions in Wireless Networks
(2014)The unprecedented growth of mobile video traffic is adding significant pressure to the energy drain at both the network and the end user. Energy efficient video transmission techniques are thus imperative to cope with the ... -
Vehicle as a Resource (VaaR)
(2015)Intelligent vehicles are considered key enablers for intelligent transportation systems. They are equipped with resources/components to enable services for vehicle occupants, other vehicles on the road, and third party ...