Browsing School of Computing Faculty Publications by Title
Now showing items 1-20 of 28
-
Automated service composition via supervisory control theory
(Institute of Electrical and Electronics Engineers, 2016-06-23)Web services play a major role in electronic businesses and allow organizations to perform certain business activities in a distributed fashion. In some circumstances, a single service is not able to perform certain tasks ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
An executable formal semantics for UML-RT
(Software and Systems Modeling, 2014-02-20)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. Software ... -
Further closure properties of input-driven pushdown automata
(Elsevier, 2019-05-20)The paper investigates the closure of the language family defined by input-driven pushdown automata (IDPDA) under the following operations: insertion ins(L,K)={xyz|xz∈L,y∈K}, deletion del(L,K)={xz|xyz∈L,y∈K}, square root ... -
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 ... -
Incremental symbolic execution of evolving state machines
(Institute of Electrical and Electronics Engineers, 2015-11-30)This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two ... -
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 ... -
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 ... -
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 ... -
A model-based architecture for interactive run-time monitoring
(2020)We present a model-based architecture for monitoring executions of models of real-time and embedded systems. This architecture is highly configurable and allows for the combination of various run-time monitoring tools, not ... -
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 ... -
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 ... -
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 ... -
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 ... -
Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware
(CEUR-WS, 2016)This paper is an experience report on how we conducted research in run-time model monitoring with Open Source Software (OSS) and low-cost hardware. We demonstrate our experience using a Rover system case study, where we ... -
Site-directed insertion: Language equations and decision problems
(Elsevier, 2019-05-23)Site-directed insertion is an overlapping insertion operation that can be viewed as analogous to the overlap assembly or chop operations that concatenate strings by overlapping a suffix and a prefix of the argument strings. ...