Utility-based Optimisation of Resource Allocation for Wireless Networks

From providing only voice communications, wireless networks aim to provide a wide range of services in which soft real-time, high priority critical data, and best effort connections seamlessly integrate. Some of these applications and services have firm resource requirements in order to function properly (e.g. videoconferences), others are flexible enough to adapt to whatever is available (e.g. FTP). Providing differentiation and resource assurance is often referred to as providing quality of service (QoS). In this thesis we study how novel resource allocation algorithms can improve the offered QoS of dynamic, unpredictable, and resource constrained distributed systems, such as a wireless network, during periods of overload. We propose and evaluate several bandwidth allocation schemes in the context of cellular, hybrid and pure ad hoc networks. Acceptable quality levels for a connection are specified using resource-utility functions, and our allocation aims to maximise accumulated systemwide utility. To keep allocation optimal in this changing environment, we need to periodically reallocate resources. The novelty of our approach is that we have augmented the utility function model by identifying and classifying the way reallocations affect the utility of different application classes. We modify the initial utility functions at runtime, such that connections become comparable regardless of their flexibility to reallocations or age-related importance. Another contribution is a combined utility/price-based bandwidth allocation and routing scheme for ad hoc networks. First we cast the problem of utility maximisation in a linear programming form. Then we propose a novel distributed allocation algorithm, where every flow bids for resources on the end-to-end path depending on the resource ``shadow price'', and the flow's ``utility efficiency''. Our periodic (re)allocation algorithms represent an iterative process that both adapts to changes in the network, and recalculates and improves the estimation of resource shadow prices. Finally, problems connected to allocation optimisation, such as modelling non-critical resources as costs, or using feedback to adapt to uncertainties in resource usage and availability, are addressed.

[1]  Xipeng Xiao,et al.  Internet QoS: a big picture , 1999, IEEE Netw..

[2]  Chunming Qiao,et al.  Integrated cellular and ad hoc relaying systems: iCAR , 2001, IEEE J. Sel. Areas Commun..

[3]  Stefan Holmlid,et al.  Adapting users : towards a theory of use quality , 2002 .

[4]  Jonas Kvarnström,et al.  TALplanner and Other Extensions to Temporal Action Logic , 2005 .

[5]  Erik Herzog,et al.  An approach to systems engineering tool data representation and exchange , 2004 .

[6]  Cedwall Mats Semantisk analys av processbeskrivningar i naturligt språk , 1977 .

[7]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

[8]  Andrew T. Campbell,et al.  A survey of QoS architectures , 1998, Multimedia Systems.

[9]  Klara Nahrstedt,et al.  Price-based resource allocation in wireless ad hoc networks , 2003, IWQoS'03.

[10]  Jaime Villegas,et al.  Simulation supported industrial training from an organisational learning perspective : development and evaluation of the SSIT method , 1996 .

[11]  P. Doherty NML3 : a non-monotonic formalism with explicit defaults , 1991 .

[12]  C. Levcopoulos Heuristics for minimum decompositions of polygons , 1987 .

[13]  Erik Anders Tengvald,et al.  The design of expert planning systems: an experimental operations planning system for turning , 1984 .

[14]  Nahid Shahmehri,et al.  Generalized algorithmic debugging , 1991 .

[15]  Haiyun Luo,et al.  A Packet Scheduling Approach to QoS Support in Multihop Wireless Networks , 2004, Mob. Networks Appl..

[16]  Hui Zhang,et al.  WF/sup 2/Q: worst-case fair weighted fair queueing , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[17]  Pär Emanuelson,et al.  Performance enhancement in a well-structured pattern matcher through partial evaluation , 1980 .

[18]  Erik Berglund,et al.  Library Communication Among Programmers Worldwide , 2002 .

[19]  Christina Ölvingson,et al.  On development of information systems with GIS functionality in public health informatics : a requirements engineering approach , 2003 .

[20]  Biswanath Mukherjee,et al.  MADF: a novel approach to add an ad-hoc overlay on a fixed cellular infrastructure , 2000, 2000 IEEE Wireless Communications and Networking Conference. Conference Record (Cat. No.00TH8540).

[21]  Lin Padgham,et al.  Non-monotonic inheritance for an object-oriented knowledge-base , 1989 .

[22]  Annika Flycht-Eriksson,et al.  Design and use of ontologies in information-providing dialogue systems , 2004 .

[23]  Silvia Coradeschi,et al.  Anchoring symbols to sensory data , 1999 .

[24]  Pernilla Qvarfordt,et al.  Eyes on multimodal interaction , 2004 .

[25]  Sajal K. Das,et al.  ARC: an integrated admission and rate control framework for CDMA data networks based on non-cooperative games , 2003, MobiCom '03.

[26]  Don Towsley,et al.  Theories and models for Internet quality of service , 2002, Proc. IEEE.

[27]  Malin Nordström,et al.  Styrbar systemförvaltning : att organisera systemförvaltningsverksamhet med hjälp av effektiva förvaltningsobjekt , 2005 .

[28]  Anton Cervin,et al.  Feedback scheduling of control tasks , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[29]  Man Lin Analysis and synthesis of reactive systems : a generic layered architecture perspective , 1999 .

[30]  Stephen S. Rappaport,et al.  Traffic model and performance analysis for cellular mobile radio telephone systems with prioritized and nonprioritized handoff procedures , 1986, IEEE Transactions on Vehicular Technology.

[31]  Sture Hägglund,et al.  Contributions to the development of methods and tools for interactive design of applications software , 1980 .

[32]  Aura Ganz,et al.  Quality of Service Support for Multimedia Applications in Third Generation Mobile Networks Using Adaptive Scheduling , 2004, Real-Time Systems.

[33]  Ying-Dar Lin,et al.  Multihop cellular: A novel architecture for wireless data communications , 2002, Journal of Communications and Networks.

[34]  Simin Nadjm-Tehrani,et al.  Adaptive load control algorithms for 3rd generation mobile networks , 2002, MSWiM '02.

[35]  Sofie Pilemalm,et al.  Information Technology for Non-Profit Organisations: Extended Participatory Design of an Information System for Trade Union Shop Stewards , 2002 .

[36]  Johan Jenvald Methods and tools in computer-supported taskforce training , 1999 .

[37]  Jain-Shing Liu,et al.  QoS routing in ad hoc wireless networks , 1999, IEEE J. Sel. Areas Commun..

[38]  Arne Jönsson,et al.  Dialogue management for natural language interfaces - an empirical approach , 1993, Linköping studies in science and technology dissertations.

[39]  Bourhane Kadmiry,et al.  Fuzzy gain scheduled visual servoing for an unmanned helicopter , 2005 .

[40]  Jimmy Tjäder,et al.  Systemimplementering i praktiken : en studie av logiker i fyra projekt , 1999 .

[41]  F. B. Vernadat,et al.  Decisions with Multiple Objectives: Preferences and Value Tradeoffs , 1994 .

[42]  Simin Nadjm-Tehrani,et al.  Algorithms and Complexity for Temporal and Spatial Formalisms , 2007 .

[43]  Jaak Urmi A machine independent LISP compiler and its implications for ideal hardware , 1978 .

[44]  Krithi Ramamritham,et al.  Distributed Scheduling of Tasks with Deadlines and Resource Requirements , 1989, IEEE Trans. Computers.

[45]  Haiyun Luo,et al.  UCAN: a unified cellular and ad-hoc network architecture , 2003, MobiCom '03.

[46]  Giuseppe Lipari,et al.  Constant bandwidth vs. proportional share resource allocation , 1999, Proceedings IEEE International Conference on Multimedia Computing and Systems.

[47]  Chen Lee,et al.  On Quality of Service Management , 1999 .

[48]  Ola Angelsmark Constructing Algorithms for Constraint Satisfaction and Related Problems : Methods and Applications , 2005 .

[49]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[50]  Mikael Ronström,et al.  Design and Modelling of a Parallel Data Server for Telecom Applications , 2004 .

[51]  Rego Granlund,et al.  Monitoring distributed teamwork training , 2002 .

[52]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[53]  Zhiping Wang Capacity-constrained production-inventory systems : modelling and analysis in both a traditional and an e-business context , 2004 .

[54]  Jörgen Hansson,et al.  Value-driven multi-class overload management in real-time database systems , 1999 .

[55]  K. Shin,et al.  Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach , 2002, IEEE Trans. Parallel Distributed Syst..

[56]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[57]  Linda Askenäs,et al.  The roles of IT : studies of organising when implementing and using enterprise systems , 2004 .

[58]  Tim Heyer,et al.  Semantic Inspection of Software Artifacts From Theory to Practice , 2001 .

[59]  Fredrik Karlsson,et al.  Method configuration: method and computerized tool support , 2005 .

[60]  Juha Takkinen,et al.  From information management to task management in electronic mail , 2002 .

[61]  Aseel Berglund,et al.  Augmenting the Remote Control: Studies in Complex Information Navigation for Digital TV , 2004 .

[62]  Jörgen Lindström,et al.  Does distance matter? On geographical dispersion in organisations , 1999 .

[63]  Pawel Pietrzak,et al.  A type-based framework for locating errors in constraint logic programs , 2002 .

[64]  Fredrik Nilsson Strategi och ekonomisk styrning : en studie av hur ekonomiska styrsystem utformas och används efter företagsförvärv , 1997 .

[65]  Robin Kravets,et al.  Contention-aware admission control for ad hoc networks , 2005, IEEE Transactions on Mobile Computing.

[66]  Stefan Cronholm,et al.  Metodverktyg och användbarhet : en studie av datorstödd metodbaserad systemutveckling , 1998 .

[67]  Frank Kelly,et al.  Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..

[68]  Van Jacobson,et al.  A Two-bit Differentiated Services Architecture for the Internet , 1999, RFC.

[69]  Jamal N. Al-Karaki,et al.  Quality of Service Routing in Mobile Ad Hoc Networks , 2004, Mobile Computing Handbook.

[70]  Brahim Bensaou,et al.  Fair bandwidth sharing algorithms based on game theory frameworks for wireless ad-hoc networks , 2004, IEEE INFOCOM 2004.

[71]  Magnus Bång Computing at the speed of paper : ubiquitous computing environments for healthcare professionals , 2004 .

[72]  David L. Black,et al.  An Architecture for Differentiated Service , 1998 .

[73]  Robert J. Vanderbei,et al.  Linear Programming: Foundations and Extensions , 1998, Kluwer international series in operations research and management service.

[74]  Anders Lindström,et al.  English and other foreign linguistic elements in spoken Swedish : studies of productive processes and their modelling using finite-state tools , 2004 .

[75]  G. C. Buttazzo,et al.  RE: Robust Earliest Deadline Scheduling , 1993 .

[76]  Niklas Hallberg,et al.  Incorporating user values in the design of information systems and services in the public sector : a methods approach , 1999 .

[77]  Angela L. Chiu,et al.  Overview and Principles of Internet Traffic Engineering , 2002, RFC.

[78]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[79]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[80]  Olof Johansson Development environments for complex product models , 1996 .

[81]  Hideyuki Tokuda,et al.  A Time-Driven Scheduling Model for Real-Time Operating Systems , 1985, RTSS.

[82]  Joachim Karlsson,et al.  A systematic approach for prioritizing software requirements , 1998 .

[83]  Mikael Ericsson,et al.  Supporting the use of design knowledge : an assessment of commenting agents , 1999 .

[84]  Andrew Odlyzko,et al.  Internet pricing in light of the history of communications , 2001, SPIE ITCom.

[85]  Pär Carlshamre,et al.  A usability perspective on requirements engineering : from methodology to product development , 2001 .

[86]  Mark A Beach,et al.  Self-organisation in future mobile communications , 2000 .

[87]  Raghupathy Sivakumar,et al.  On using the ad-hoc network model in cellular packet data networks , 2002, MobiHoc '02.

[88]  Daniel P. Siewiorek,et al.  A resource allocation model for QoS management , 1997, Proceedings Real-Time Systems Symposium.

[89]  Krithi Ramamritham,et al.  The Spring kernel: a new paradigm for real-time systems , 1991, IEEE Software.

[90]  Rahim Tafazolli,et al.  On the relaying capability of next-generation GSM cellular networks , 2001, IEEE Wirel. Commun..

[91]  Kay Römer,et al.  Time Synchronization and Calibration in Wireless Sensor Networks , 2005, Handbook of Sensor Networks.

[92]  Anders Arpteg,et al.  Intelligent Semi-Structured Information Extraction , 2005 .

[93]  Scott Shenker,et al.  General Characterization Parameters for Integrated Service Network Elements , 1997, RFC.

[94]  Karin Hedström,et al.  Spår av datoriseringens värden: Effekter av IT i äldreomsorg , 2004 .

[95]  Tore Risch,et al.  Compilation of multiple file queries in a meta-database system , 1978 .

[96]  Mikael Cäker,et al.  Management accounting as constructing and opposing customer focus : three case studies on management accounting and customer relations , 2005 .

[97]  Erik G. Larsson,et al.  An Integrated System-Level Design for Testability Methodology , 2000 .

[98]  Derek G. Corneil,et al.  Corrections to Bierstone's Algorithm for Generating Cliques , 1972, J. ACM.

[99]  Martin Skold Active Database Management Systems for Monitoring and Control , 1997 .

[100]  Pär J. Ågerfalk Information Systems Actability: Understanding Information Technology as a Tool for Business Action and Communication , 2003 .

[101]  Osten Oskarsson,et al.  Mechanisms of modifiability in large software systems , 1982 .

[102]  Christer Backstrom,et al.  Computational Complexity of Reasoning about Plans , 1992 .

[103]  Charles E. Perkins,et al.  Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[104]  Sugato Chakravarty,et al.  Methodology for the subjective assessment of the quality of television pictures , 1995 .

[105]  Marco Spuri,et al.  Value vs. deadline scheduling in overload conditions , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[106]  Paul Scerri,et al.  Designing agents for systems with adjustable autonomy , 2001 .

[107]  Magnus Merkel,et al.  Understanding and enhancing translation by parallel text processing , 1999 .

[108]  Georg Carle Panel: Charging for QoS , 2000, QofIS.

[109]  Vadim Engelson,et al.  Tools for design, interactive simulation, and visualization of object-oriented models in scientific computing , 2000 .

[110]  Flavio Muratore UMTS: Mobile Communications for the Future , 2000 .

[111]  Staffan Bonnier,et al.  A formal basis for horn clause logic with external polymorphic functions , 1992 .

[112]  Hans Olsen,et al.  Automatic Verification of Petri Nets in a CLP Framework , 1997 .

[113]  Kang G. Shin,et al.  QoS adaptation in real-time systems , 1999 .

[114]  Klara Nahrstedt,et al.  Distributed quality-of-service routing in ad hoc networks , 1999, IEEE J. Sel. Areas Commun..

[115]  Marcus Bjäreland Model-based execution monitoring , 2001 .

[116]  Joakim Gustafsson,et al.  Extending temporal action logic , 2001 .

[117]  Jonas Hallberg,et al.  Timing issues in high-level synthesis , 1998 .

[118]  Sajal K. Das,et al.  Quality-of-Service degradation strategies in multimedia wireless networks , 1998, VTC '98. 48th IEEE Vehicular Technology Conference. Pathway to Global Wireless Revolution (Cat. No.98CH36151).

[119]  Dimiter Driankov,et al.  Towards a many‐valued logic of quantified belief: The information lattice , 1991 .

[120]  Erland Jungert,et al.  Synthesizing database structures from a user oriented data model , 1980 .

[121]  Zebo Peng A formal methodology for automated synthesis of VLSI systems , 1987 .

[122]  Mikael Kindborg,et al.  Concurrent comics : programming of social agents by children , 2003 .

[123]  Lui Sha,et al.  Optimal QoS sampling frequency assignment for real-time wireless sensor networks , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[124]  Shahrokh Valaee,et al.  Distributed call admission control for ad hoc networks , 2002, Proceedings IEEE 56th Vehicular Technology Conference.

[125]  Jack Minker,et al.  An Analysis of Some Graph Theoretical Cluster Techniques , 1970, JACM.

[126]  Luis Alejandro Cortés,et al.  Verification and Scheduling Techniques for Real-Time Embedded Systems , 2005 .

[127]  Kjell Orsborn,et al.  On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications , 1996 .

[128]  Henrik Nilsson,et al.  Declarative debugging for lazy functional languages , 1998 .

[129]  Scott Shenker,et al.  Integrated Services in the Internet Architecture : an Overview Status of this Memo , 1994 .

[130]  Carl-Johan Petri,et al.  Organizational information provision : managing mandatory and discretionary utilization of information technology , 2001 .

[131]  Zheng Wang,et al.  Internet QoS: Architectures and Mechanisms for Quality of Service , 2001 .

[132]  Lars Degerstedt,et al.  Tabulation-based Logic Programming : A Multi-level View of Query Answering , 1996 .

[133]  Bengt Johnsson,et al.  The human-computer interface in commercial systems : Investigations of dialogue design factors and usability with alphanumeric display terminals , 1981 .

[134]  Paul Pop,et al.  Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems , 2003 .

[135]  Wolfgang Effelsberg,et al.  The Fairness Challenge in Computer Networks , 2000, QofIS.

[136]  Asmus Pandikow,et al.  A Generic Principle for Enabling Interoperability of Structured and Object-Oriented Analysis and Design Tools , 2002 .

[137]  Johan Moe Observing the dynamic behaviour of large distributed systems to improve development and testing : an empirical study in software engineering , 2003 .

[138]  Simin Nadjm-Tehrani,et al.  Time-aware utility-based QoS optimization , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[139]  Simin Nadjm-Tehrani,et al.  Utility-based adaptive resource allocation in hybrid wireless networks , 2005, Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE'05).

[140]  Mikael Lind,et al.  Från system till process kriterier för processbestämning vid verksamhetsanalys , 2001 .

[141]  David A. Maltz,et al.  DSR: the dynamic source routing protocol for multihop wireless ad hoc networks , 2001 .

[142]  Vivian Vimarlund,et al.  An economic perspective on the analysis of impacts of information technology : from case studies in health-care towards general models and theories , 1999 .

[143]  Tatsuya Suda,et al.  An adaptive bandwidth reservation scheme for high-speed multimedia wireless networks , 1998, IEEE J. Sel. Areas Commun..

[144]  Lixia Zhang,et al.  Resource ReSerVation Protocol (RSVP) - Version 1 Functional Specification , 1997, RFC.

[145]  C. D. Locke,et al.  Best-effort decision-making for real-time scheduling , 1986 .

[146]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[147]  Stefan Holgersson,et al.  Yrke: POLIS : Yrkeskunskap, motivation, IT-system och andra förutsättningar för polisarbete , 2005 .

[148]  Eric C. Rosen,et al.  Multiprotocol Label Switching Architecture , 2001, RFC.

[149]  Anneli Hagdahl,et al.  Development of IT-supported Inter-organisational Collaboration: A Case Study in the Swedish Public Sector , 2002 .

[150]  Roch Guérin,et al.  Efficient network QoS provisioning based on per node traffic shaping , 1996, TNET.

[151]  Ming Kit Chau Quality of service routing in mobile ad hoc networks , 2003 .

[152]  Ragunathan Rajkumar,et al.  Scalable qos-based resource allocation , 2004 .

[153]  Johan Åberg,et al.  Live help systems : an approach to intelligent help for Web information systems , 2002 .

[154]  J. Skåmedal Telecommuting's implications on travel and travel patterns , 2004 .

[155]  Songwu Lu,et al.  The TIMELY adaptive resource management architecture , 1998, IEEE Wirel. Commun..

[156]  Jonas Mellin,et al.  Resource-Predictable and Efficient Monitoring of Events , 2004 .

[157]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks-the single node case , 1992, [Proceedings] IEEE INFOCOM '92: The Conference on Computer Communications.

[158]  Wei-Kuan Shih,et al.  Algorithms for scheduling imprecise computations , 1991, Computer.

[159]  Ulf Nilsson,et al.  Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs , 1992 .

[160]  Luigi Palopoli,et al.  On adaptive control techniques in real-time resource allocation , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[161]  Sang Hyuk Son,et al.  Feedback Control Real-Time Scheduling in Distributed Real-Time Systems , 2001, RTSS 2001.

[162]  Bo Li,et al.  An Efficient and Adaptive Bandwidth Allocation Scheme for Mobile Wireless Networks Using an On-Line Local Estimation Technique , 2001, Wirel. Networks.

[163]  Anette Moberg Närhet och distans : studier av kommunikationsmönster i satellitkontor och flexibla kontor , 1997 .

[164]  Bharat K. Bhargava,et al.  Integrating Heterogeneous Wireless Technologies: A Cellular Aided Mobile Ad Hoc Network (CAMA) , 2004, Mob. Networks Appl..

[165]  Ulf Seigerroth,et al.  Att förstå och förändra systemutvecklingsverksamheter en taxonomi för metautveckling , 2003 .

[166]  Hussein M. Abdel-Wahab,et al.  A Rate-Based Borrowing Scheme for QoS Provisioning in Multimedia Wireless Networks , 2002, IEEE Trans. Parallel Distributed Syst..

[167]  Tobias Ritzau,et al.  Memory Efficient Hard Real-Time Garbage Collection , 2003 .

[168]  Jie Zhou,et al.  PARCelS: Pervasive Ad-hoc Relaying for Cellular Systems , 2002 .

[169]  Sang Hyuk Son,et al.  Design and evaluation of a feedback control EDF scheduling algorithm , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[170]  Magnus Kald In the borderland between strategy and management control : theoretical framework and empirical evidence , 2004 .

[171]  Diana Szentiványi Performance Studies of Fault-Tolerant Middleware , 2005 .

[172]  Roch Guérin,et al.  Quality-of-Service in Packet Networks: Basic Mechanisms and Directions , 1999, Comput. Networks.

[173]  R. L. Keeney,et al.  Decisions with Multiple Objectives: Preferences and Value Trade-Offs , 1977, IEEE Transactions on Systems, Man, and Cybernetics.

[174]  Simin Nadjm-Tehrani,et al.  Time-aware utility-based resource allocation in wireless networks , 2005, IEEE Transactions on Parallel and Distributed Systems.

[175]  René Reboh Knowledge engineering techniques and tools for expert systems , 1981 .

[176]  Don Towsley,et al.  Personal & wireless communications: digital technology & standards , 1997, MOCO.

[177]  Aura Ganz,et al.  Ad hoc QoS on-demand routing (AQOR) in mobile ad hoc networks , 2003, J. Parallel Distributed Comput..

[178]  Henning Schulzrinne,et al.  Internet Quality of Service: An Overview , 2000 .

[179]  Klara Nahrstedt,et al.  Optimal resource allocation in wireless ad hoc networks: a price-based approach , 2006, IEEE Transactions on Mobile Computing.

[180]  Hussein M. Abdel-Wahab,et al.  A proportional share resource allocation algorithm for real-time, time-shared systems , 1996, 17th IEEE Real-Time Systems Symposium.

[181]  Johan Fagerström,et al.  A paradigm and system for design of distributed systems , 1988 .

[182]  Mathias Broxvall,et al.  A Study in the Computational Complexity of Temporal Reasoning , 2002 .

[183]  Henryk Jan Komorowski,et al.  A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .

[184]  Eva L. Ragnemalm,et al.  Student modelling based on collaborative dialogue with a learning companion , 1999 .

[185]  Stephen S. Rappaport,et al.  Traffic Model and Performance Analysis for Cellular Mobile Radio Telephone Systems with Prioritized and Nonprioritized Handoff Procedures - Version 2a , 2000 .

[186]  Ewa Braf,et al.  Knowledge demanded for action : studies of knowledge mediation in organisations , 2004 .

[187]  Mattias Arvola,et al.  Shades of Use: The Dynamics of Interaction Design for Sociable Use , 2005 .

[188]  Vanja Josifovski,et al.  Design, implementation and evaluation of a distributed mediator system for data integration , 1999 .

[189]  Peter Bunus,et al.  Debugging techniques for equation-based languages , 2004 .

[190]  Stefan Savage,et al.  Processor capacity reserves: operating system support for multimedia applications , 1994, 1994 Proceedings of IEEE International Conference on Multimedia Computing and Systems.

[191]  Yu-Chee Tseng,et al.  A Multi-Path QoS Routing Protocol in a Wireless Mobile Ad Hoc Network , 2000, Telecommun. Syst..

[192]  Ling Lin,et al.  Management of 1-D Sequence Data- From Discrete to Continuous , 1999 .

[193]  Mariam Kamkar,et al.  Interprocedural dynamic slicing with applications to debugging and testing , 1993, Linköping studies in science and technology dissertations.

[194]  Per-Arne Persson,et al.  Bringing power and knowledge together: information systems design for autonomy and control in command work , 2000 .

[195]  Satish K. Tripathi,et al.  A framework for reliable routing in mobile ad hoc networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[196]  Peter Ambjorn Fritzson,et al.  Towards a distributed programming environment based on incremental compilation (debugging, prettyprinting, interactive) , 1984 .

[197]  Rita Kovordanyi,et al.  Modeling and simulating inhibitory mechanisms in mental image reinterpretation : towards cooperative human-computer creativity , 1999 .

[198]  Scott A. Brandt,et al.  A dynamic quality of service middleware agent for mediating application resource usage , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[199]  Giorgio C. Buttazzo,et al.  Hierarchical QoS management for time sensitive applications , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[200]  Choong-ho Yi,et al.  Modelling object-oriented dynamic systems using a logic-based framework , 2002 .

[201]  Gert Jervan,et al.  Hybrid Built-In Self-Test and Test Generation Techniques for Digital Systems , 2005 .

[202]  Mikael Lindvall,et al.  An Empirical Study of Requirements-Driven Impact Analysis in Object-Oriented Software Evolution , 1997 .

[203]  Mikael Pettersson,et al.  Compiling Natural Semantics , 1999, Lecture Notes in Computer Science.

[204]  ComplexityPeter Jonsson,et al.  Studies in Action Planning Algorithms and Complexity , 2007 .

[205]  Daniel P. Siewiorek,et al.  On quality of service optimization with discrete QoS options , 1999, Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium.