Now showing items 1-20 of 27

    • Automated service composition via supervisory control theory 

      Dingel, Juergen; Atampore, Francis; Rudie, Karen (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 

      Ibrahim, Walid M.; Ali, Najah Abu; Hassanein, Hossam S.; Taha, Abd-Elhamid M. (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 

      Al-Turjman, Fadi M.; Al-Fagih, Ashraf E.; Alsalih, Waleed M.; Hassanein, Hossam S. (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 

      Okhotin, Alexander; Salomaa, Kai (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 

      Al-Awami, Louai; Hassanein, Hossam S. (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 

      Abou-Zeid, Hatem; Hassanein, Hossam S.; Valentin, Stefan (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 

      Dingel, Juergen; Posse, Ernesto (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 

      Okhotin, Alexander; Salomaa, Kai (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 

      Palioudakis, Alexandros; Han, Yo-Sub; Salomaa, Kai (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 

      Dingel, Juergen; Khalil, Amal (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 

      Abou-zeid, Hatem; Hassanein, Hossam S.; Valentin, Stefan; Feteiha, Mohamed F. (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 

      Taha, Abd-Elhamid M.; Hassanein, Hossam S.; Mouftah, Hussein T. (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 

      Das, Tuhin Kanti; Dingel, Juergen (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 

      Hili, Nicolas; Bagherzadeh, Mojtaba; Jahed, Karim; Dingel, Juergen (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 

      Akl, Selim; Benkoczi, Robert; Gaur, Daya Ram; Hassanein, Hossam; Hossain, Shahadat; Thom, Mark (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 

      Alsalih, Waleed; Ali, Kashif; Hassanein, Hossam (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 

      Abou-Zeid, Hatem; Hassanein, Hossam S. (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 

      Al-Fagih, Ashraf E.; Al-Turjman, Fadi M.; Alsalih, Waleed M.; Hassanein, Hossam S. (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 ...
    • Site-directed insertion: Language equations and decision problems 

      Cho, Da-Jung; Han, Yo-Sub; Salomaa, Kai; Smith, Taylor J. (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. ...
    • State complexity of deletion and bipolar deletion 

      Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai (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 ...