Virtual Full Replication for Scalable Distributed Real-Time Databases

Distributed real-time systems increase in size an complexity, and the nodes in such systems become difficult to implement and test. In particular, communication for synchronization of shared inform ...

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

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

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

[4]  Roderic G. G. Cattell The benchmark handbook for database and transaction processing systems , 1991 .

[5]  Divyakant Agrawal,et al.  Epidemic algorithms in replicated databases (extended abstract) , 1997, PODS.

[6]  Bharat K. Bhargava,et al.  Replication Techniques in Distributed Systems , 1996, Advances in Database Systems.

[7]  Y. C. Tay,et al.  Locking performance in centralized databases , 1985, TODS.

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

[9]  Berthier A. Ribeiro-Neto,et al.  Object allocation in distributed systems with virtual replication , 1992, [1992] Eighth International Conference on Data Engineering.

[10]  Amit P. Sheth,et al.  Management of interdependent data: specifying dependency and consistency requirements , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[11]  Lars Hult,et al.  Publika informationstjänster : en studie av den elektroniska encyklopedins bruksegenskaper , 2003 .

[12]  Sanny Syberfeldt,et al.  Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases , 2007 .

[13]  Haiyun Luo,et al.  TTDD: Two-Tier Data Dissemination in Large-Scale Wireless Sensor Networks , 2005, Wirel. Networks.

[14]  Thomas Gustafsson,et al.  Management of Real-Time Data Consistency and Transient Overloads in Embedded Systems , 2007 .

[15]  Levon Saldamli PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations , 2002 .

[16]  Amr El Abbadi,et al.  Maintaining availability in partitioned replicated databases , 1987, ACM Trans. Database Syst..

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

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

[19]  Gustavo Alonso,et al.  Understanding replication in databases and distributed systems , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

[20]  Brian A. Coan,et al.  Limitations on database availability when networks partition , 1986, PODC '86.

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

[22]  David K. Gifford,et al.  Weighted voting for replicated data , 1979, SOSP '79.

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

[24]  Nancy A. Lynch,et al.  Eventually-serializable data services , 1996, PODC '96.

[25]  Rahul Simha,et al.  Experimental evaluation of dynamic data allocation strategies in a distributed database with changing workloads , 1995, CIKM '95.

[26]  K. Mani Chandy,et al.  File allocation in distributed systems , 1976, SIGMETRICS '76.

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

[28]  Weijia Jia,et al.  RMP: fault-tolerant group communication , 1996, IEEE Micro.

[29]  Bogdan Tatomir Crisis Management using Mobile ad-hoc Wireless Networks , 2005 .

[30]  Deborah Estrin,et al.  Data-Centric Storage in Sensornets with GHT, a Geographic Hash Table , 2003, Mob. Networks Appl..

[31]  Penny Nii The blackboard model of problem solving , 1986 .

[32]  John S. Heidemann,et al.  Implementation of the Ficus Replicated File System , 1990, USENIX Summer.

[33]  Philippe Bonnet,et al.  Towards Sensor Database Systems , 2001, Mobile Data Management.

[34]  Joe Heike Steinhauer A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations , 2008 .

[35]  S. Jørgensen The art of computer systems performance analysis: Techniques for Experimental Design, Measurement, Simulation and Modeling. Raj Jain. John Wiley, New York. Hardcover, 720 p. U.S. $52.95. , 1992 .

[36]  C. Murray Woodside,et al.  Evaluating the Scalability of Distributed Systems , 2000, IEEE Trans. Parallel Distributed Syst..

[37]  Lui Sha,et al.  Real-time communication and coordination in embedded sensor networks , 2003, Proc. IEEE.

[38]  Robert G. Sargent,et al.  Validation and verification of simulation models , 1999, Proceedings of the 2004 Winter Simulation Conference, 2004..

[39]  Mark Handley,et al.  A scalable content-addressable network , 2001, SIGCOMM 2001.

[40]  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 .

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

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

[43]  Per Wikberg,et al.  PhD thesis: Eliciting Knowledge from Experts in Modeling of Complex Systems: Managing Variation and Interactions. , 2022 .

[44]  J. Lindblom Minding the Body: Interacting socially through embodied action , 2007 .

[45]  Anders Larsson,et al.  Test Optimization for Core-based System-on-Chip , 2008 .

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

[47]  Miron Livny,et al.  Priority in DBMS Resource Scheduling , 1989, VLDB.

[48]  Ben Y. Zhao,et al.  Tapestry: a resilient global-scale overlay for service deployment , 2004, IEEE Journal on Selected Areas in Communications.

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

[50]  Randal C. Burns,et al.  Bypass caching: making scientific databases good network citizens , 2005, 21st International Conference on Data Engineering (ICDE'05).

[51]  Rajmohan Rajaraman,et al.  Accessing Nearby Copies of Replicated Objects in a Distributed Environment , 1997, SPAA '97.

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

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

[54]  Yu-Hsing Huang,et al.  Having a New Pair of Glasses: Applying Systemic Accident Models on Road Safety , 2007 .

[55]  Stewart Robinson,et al.  Simulation model verification and validation: increasing the users' confidence , 1997, WSC '97.

[56]  Hector Garcia-Molina,et al.  Main Memory Database Systems: An Overview , 1992, IEEE Trans. Knowl. Data Eng..

[57]  Patrick Valduriez,et al.  Distributed database systems: where are we now? , 1991, Computer.

[58]  Sten F. Andler,et al.  Continuous consistency management in distributed real-time databases with multiple writers of replicated data , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[59]  Alexandru Andrei,et al.  Energy Efficient and Predictable Design of Real-Time Embedded Systems , 2007 .

[60]  Lee W. Schruben,et al.  Resource graphs for modeling large-scale, highly congested systems , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

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

[62]  Daniel Karlsson,et al.  Verification of Component-based Embedded System Designs , 2006 .

[63]  Ravi Mukkamala,et al.  Design of partially replicated distributed database systems: an integrated methodology , 1988, SIGMETRICS 1988.

[64]  Saul I. Gass,et al.  An Assessment Procedure for Simulation Models: A Case Study , 1991, Oper. Res..

[65]  Yasushi Saito,et al.  Optimistic replication , 2005, CSUR.

[66]  Pierangela Samarati,et al.  Independent updates and incremental agreement in replicated databases , 1995, Distributed and Parallel Databases.

[67]  Jörgen Skågeby,et al.  Gifting Technologies: Ethnographic Studies of End-users and Social Media Sharing , 2008 .

[68]  R. Eklund Disfluency in Swedish human–human and human–machine travel booking dialogues , 2004 .

[69]  Mikael Muessig Bounded Delay Replication in Distributed Databases with Eventual Consistency , 2003 .

[70]  Anthony Rowe,et al.  RT-Link: A Time-Synchronized Link Protocol for Energy- Constrained Multi-hop Wireless Networks , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[71]  Matthias Jarke,et al.  Performance Modeling of Distributed and Replicated Databases , 2000, IEEE Trans. Knowl. Data Eng..

[72]  David Garlan,et al.  Software architecture: a roadmap , 2000, ICSE '00.

[73]  Randy H. Katz,et al.  Dynamic Replica Placement for Scalable Content Delivery , 2002, IPTPS.

[74]  A. H. J. Oomes,et al.  ORGANIZATION AWARENESS IN CRISIS MANAGEMENT Dynamic organigrams for more effective disaster response , 2004 .

[75]  Kathryn S. McKinley,et al.  Partial replica selection based on relevance for information retrieval , 1999, SIGIR '99.

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

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

[78]  Susan B. Davidson,et al.  Optimism and consistency in partitioned distributed database systems , 1984, TODS.

[79]  Pere Vilà,et al.  About the Scalability and Case Study of AntNet Routing , 2003 .

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

[81]  Victor Fay Wolfe,et al.  Towards a definition of the real-time data distribution problem space , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[82]  J. Kleijnen,et al.  Validation of models: statistical techniques and data availability , 1999, WSC'99. 1999 Winter Simulation Conference Proceedings. 'Simulation - A Bridge to the Future' (Cat. No.99CH37038).

[83]  Iakov Nakhimovski,et al.  Contributions to the Modeling and Simulation of Mechanical Systems with Detailed Contact Analyses , 2006 .

[84]  Giovanni Maria Sacco,et al.  Buffer management in relational database systems , 1986, TODS.

[85]  Lee W. Schruben,et al.  Simulation modeling with event graphs , 1983, CACM.

[86]  Lee W. Schruben,et al.  RESOURCE-DRIVEN AND JOB-DRIVEN SIMULATIONS , 2002 .

[87]  Chilukuri K. Mohan Performance of Concurrency Control Mechanisms in Centralized Database Systems , 1995 .

[88]  John A. Stankovic,et al.  Buffer Management in Real-Time Databases , 1990 .

[89]  Roger M. Needham,et al.  Grapevine: an exercise in distributed computing , 1982, CACM.

[90]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[91]  David C. Luckham,et al.  Validating discrete event simulations using event pattern mappings , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

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

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

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

[95]  Rafael Alonso,et al.  Data caching issues in an information retrieval system , 1990, TODS.

[96]  Deborah Estrin,et al.  Directed diffusion: a scalable and robust communication paradigm for sensor networks , 2000, MobiCom '00.

[97]  Calton Pu,et al.  Replica control in distributed systems: as asynchronous approach , 1991, SIGMOD '91.

[98]  Sten F. Andler,et al.  Virtual Full Replication: Achieving Scalability in Distributed Real-Time Main-Memory Systems , 2003 .

[99]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[100]  Margaret H. Eich Main memory database recovery , 1986 .

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

[102]  John William McManus,et al.  Design and analysis techniques for concurrent blackboard systems , 1996, IEEE Trans. Syst. Man Cybern. Part A.

[103]  Jean Bacon,et al.  A hierarchical asynchronous replication protocol for large scale systems , 1993, Proceedings 1993 IEEE Workshop on Advances in Parallel and Distributed Systems.

[104]  Olivier Festor,et al.  On the Impact of Management on the Performance of a Managed System: A JMX-Based Management Case Study , 2005, DSOM.

[105]  Marcus Brohede,et al.  DeeDS NG : Architecture, Design, and Sample Application Scenario , 2007 .

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

[107]  Osman Balci,et al.  Verification, Validation And Accreditation Of Simulation Models , 1997, Winter Simulation Conference Proceedings,.

[108]  Genevieve Gorrell,et al.  Generalized Hebbian Algorithm for Dimensionality Reduction in Natural Language Processing , 2006 .

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

[110]  Philip A. Bernstein,et al.  An algorithm for concurrency control and recovery in replicated distributed databases , 1984, TODS.

[111]  Divyakant Agrawal,et al.  Epidemic Algorithms for Replicated Databases , 2003, IEEE Trans. Knowl. Data Eng..

[112]  Amin Vahdat,et al.  Design and evaluation of a conit-based continuous consistency model for replicated services , 2002, TOCS.

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

[114]  Jonas Landgren,et al.  Supporting fire crew sensemaking enroute to incidents , 2005 .

[115]  Douglas Stott Parker,et al.  A Distributed File System Architecture Supporting High Availability , 1982, Berkeley Workshop.

[116]  Sang Hyuk Son,et al.  ORDER: A Dynamic Replication Algorithm for Periodic Transactions in Distributed Real-Time Databases , 2004 .

[117]  Brian Randell,et al.  Operating Systems, An Advanced Course , 1978 .

[118]  Beng Chin Ooi,et al.  Dynamic buffer management with extensible replacement policies , 2006, The VLDB Journal.

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

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

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

[122]  Colin Allison,et al.  Scalable services for resource management in distributed and networked environments , 1996, Proceedings of Third International Workshop on Services in Distributed and Networked Environments.

[123]  Bharadwaj Veeravalli,et al.  A Dynamic Object Allocation And Replication Algorithm For Distributed Systems With Centralized Control , 2006 .

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

[125]  Osman Balci,et al.  Verification, Validation, and Testing , 2007 .

[126]  Kavitha Ranganathan,et al.  Improving Data Availability through Dynamic Model-Driven Replication in Large Peer-to-Peer Communities , 2002, 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02).

[127]  Andrzej Bednarski,et al.  Integrated Optimal Code Generation for Digital Signal Processors , 2006 .

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

[129]  Louise Burness,et al.  Scalability evaluation of a distributed agent system , 1999, Distributed Syst. Eng..

[130]  Panos K. Chrysanthis,et al.  A taxonomy of correctness criteria in database applications , 1996, The VLDB Journal.

[131]  Mats Grindal,et al.  Handling combinatorial explosion in software testing , 2007 .

[132]  Vaida Jakoniene,et al.  Integration of Biological Data , 2006 .

[133]  George Varghese,et al.  Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications , 2001, SIGCOMM 2001.

[134]  Sang Hyuk Son,et al.  RESTORE: A Real-Time Event Correlation and Storage Service for Sensor Networks , 2006 .

[135]  Satish Kumar,et al.  Next century challenges: scalable coordination in sensor networks , 1999, MobiCom.

[136]  Vijay Gopalakrishnan,et al.  Adaptive replication in peer-to-peer systems , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[137]  Magnus Wahlström,et al.  Algorithms, measures and upper bounds for satisfiability and related problems , 2007 .

[138]  Haiyun Luo,et al.  A two-tier data dissemination model for large-scale wireless sensor networks , 2002, MobiCom '02.

[139]  Aleksandra Tesanovic,et al.  Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components , 2006 .

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

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

[142]  Traian Pop,et al.  Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies , 2007 .

[143]  Wolfgang Effelsberg,et al.  Principles of database buffer management , 1984, TODS.

[144]  Sang Hyuk Son,et al.  Event Detection Services Using Data Service Middleware in Distributed Sensor Networks , 2003, Telecommun. Syst..

[145]  Krithi Ramamritham Real-time databases , 2005, Distributed and Parallel Databases.

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

[147]  Divyakant Agrawal,et al.  Partial database replication using epidemic communication , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[148]  Anoop Gupta,et al.  Comparative performance evaluation of cache-coherent NUMA and COMA architectures , 1992, ISCA '92.

[149]  Peter,et al.  The Ward Model : A Scalable Replication Architecture for Mobility , 1996 .

[150]  George Dunteman,et al.  Use of Principal Components in Cluster Analysis , 1989 .

[151]  Sushil Jajodia,et al.  An adaptive data replication algorithm , 1997, TODS.

[152]  Prabhudev Konana,et al.  Multiclass Transaction Scheduling and Overload Management in Firm Real-Time Database Systems , 1996, Inf. Syst..

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

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

[155]  C. Curescu,et al.  Utility-based Optimisation of Resource Allocation for Wireless Networks , 2005 .

[156]  Lisa Cingiser DiPippo,et al.  A replication strategy for distributed real-time object-oriented databases , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

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

[158]  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 .

[159]  Donald F. Towsley,et al.  Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics , 2002, IEEE Trans. Knowl. Data Eng..

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

[161]  I. Jolliffe Principal Component Analysis , 2002 .

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

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

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

[165]  David Dinka,et al.  Role, Identity and Work : Extending the design and development agenda , 2010 .

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

[167]  Robert E. Shannon Tests for the verification and validation of computer simulation models , 1981, WSC '81.

[168]  Mahadev Satyanarayanan,et al.  Coda: A Highly Available File System for a Distributed Workstation Environment , 1990, IEEE Trans. Computers.

[169]  Gerhard Weikum,et al.  The LRU-K page replacement algorithm for database disk buffering , 1993, SIGMOD Conference.

[170]  Greg Thiel,et al.  LOCUS a network transparent, high reliability distributed system , 1981, SOSP.

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

[172]  John A. Stankovic,et al.  ALARM-NET: Wireless Sensor Networks for Assisted-Living and Residential Monitoring , 2006 .

[173]  J. Hansson,et al.  A similarity-aware multiversion concurrency control and updating algorithm for up-to-date snapshots of data , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[174]  Yuxiao Zhao,et al.  Standards-based application integration for business-to-business communications , 2005 .

[175]  Robert Nilsson,et al.  A Mutation-based Framework for Automated Testing of Timeliness , 2006 .

[176]  Edith Cohen,et al.  Replication strategies in unstructured peer-to-peer networks , 2002, SIGCOMM.

[177]  Sten F. Andler,et al.  Virtual Full Replication by Static Segmentation for Multiple Properties of Data Objects , 2005 .

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

[179]  Artur Wilk,et al.  Types for XML with Application to Xcerpt , 2008 .

[180]  Mehdi Amirijoo,et al.  Real-time Communication Through a Distributed Resource Reservation Approach , 2004 .

[181]  Egir örn Leifsson Recovery in Distributed Real-Time Database Systems , 1999 .

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

[183]  Jim Gray,et al.  Benchmark Handbook: For Database and Transaction Processing Systems , 1992 .

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

[185]  Anindya Datta,et al.  Buffer management in real-time active database systems , 1998, IEEE Trans. Syst. Man Cybern. Part A.

[186]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[187]  Gunnar Mathiason,et al.  Segmentation in a Distributed Real-Time Main-Memory Database , 2002 .

[188]  Anis Koubaa,et al.  A Time Division Beacon Scheduling Mechanism for IEEE 802.15.4/Zigbee Cluster-Tree Wireless Sensor Networks , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[189]  S.H. Son,et al.  Virtual Full Replication for Scalable and Adaptive Real-Time Communication in Wireless Sensor Networks , 2008, 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008).

[190]  Hong Va Leong,et al.  A Framework for Cache Management for Mobile Databases: Design and Evaluation , 2001, Distributed and Parallel Databases.

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

[192]  Beatrice Alenljung,et al.  Envisioning a Future Decision Support System for Requirements Engineering : A Holistic and Human-centred Perspective , 2008 .

[193]  Sang Hyuk Son,et al.  Service differentiation in real-time main memory databases , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

[194]  Sang Hyuk Son,et al.  Virtual Full Replication by Adaptive Segmentation , 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

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

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

[197]  Gunnar Mathiason A Simulation Approach for Evaluating Scalability of a Virtually Fully Replicated Real-time Database , 2006 .

[198]  F. Alajaji,et al.  c ○ Copyright by , 1998 .

[199]  He Tan,et al.  Aligning Biomedical Ontologies , 2007 .

[200]  Meichun Hsu,et al.  Modeling Performance Impact of Hot Spots , 1996, Performance of Concurrency Control Mechanisms in Centralized Database Systems.

[201]  Imad Abugessaisa,et al.  Analytical tools and information-sharing methods supporting road safety organizations , 2008 .

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

[203]  Antony I. T. Rowstron,et al.  Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems , 2001, Middleware.

[204]  Burton H. Bloom,et al.  Space/time trade-offs in hash coding with allowable errors , 1970, CACM.

[205]  Osman Balci,et al.  A methodology for cost-risk analysis in the statistical validation of simulation models , 1981, CACM.

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

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

[208]  Nicolas Rivierre,et al.  Real-time communications over broadcast networks : the CSMA-DCR and the DOD-CSMA-CD protocols , 1993 .

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

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

[211]  Mahadev Satyanarayanan,et al.  The Influence of Scale on Distributed File System Design , 1992, IEEE Trans. Software Eng..

[212]  Mingyu Lim,et al.  Scalable data management using user-based caching and prefetching in distributed virtual environments , 2001, VRST '01.

[213]  Jörgen Hansson,et al.  Data management issues in vehicle control systems: a case study , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[214]  Ray Jain,et al.  The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling , 1991, Wiley professional computing.

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

[216]  Claudiu Duma,et al.  Security and trust mechanisms for groups in distributed services , 2005 .

[217]  Feng Xiao,et al.  Supporting partial data accesses to replicated data , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

[218]  Chienwen Wu Replica control protocols that guarantee high availability and low access cost , 1993 .

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

[220]  Bharadwaj Veeravalli,et al.  An adaptive object allocation and replication algorithm in distributed databases , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

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

[222]  Peter J. Denning Virtual Memory , 1996, ACM Comput. Surv..

[223]  David Moore,et al.  Replication Strategies for Highly Available Peer-to-Peer Storage , 2002, Future Directions in Distributed Computing.

[224]  Anis Koubâa,et al.  A Two-Tiered Architecture for Real-Time Communications in Large-Scale Wireless Sensor Networks: Research Challenges , 2005 .

[225]  Paulo Veríssimo,et al.  Real-time communication , 1993 .

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

[227]  Song Jiang,et al.  Making LRU friendly to weak locality workloads: a novel replacement algorithm to improve buffer cache performance , 2005, IEEE Transactions on Computers.

[228]  R. G. Casey,et al.  Allocation of copies of a file in an information network , 1899, AFIPS '72 (Spring).

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

[230]  Anant Agarwal,et al.  Scalability of parallel machines , 1991, CACM.

[231]  Edith Cohen,et al.  Search and replication in unstructured peer-to-peer networks , 2002, ICS '02.

[232]  Ouri Wolfson,et al.  The multicast policy and its relationship to replicated data placement , 1991, TODS.

[233]  Narain H. Gehani,et al.  Scalable Update Propagation in Epidemic Replicated Databases , 1996, EDBT.

[234]  Sang Hyuk Son,et al.  QoS Management in Distributed Real-Time Databases , 2003 .

[235]  Rajmohan Rajaraman,et al.  Accessing Nearby Copies of Replicated Objects in a Distributed Environment , 1999, Theory of Computing Systems.

[236]  Niu Jianwei Dynamic version vector maintenance algorithm in mobile computing environment , 2007 .

[237]  Peter Aronsson,et al.  Automatic Parallelization of Equation-Based Simulation Programs , 2006 .

[238]  Wilson C. Hsieh,et al.  Bigtable: A Distributed Storage System for Structured Data , 2006, TOCS.

[239]  Liuba Shrira,et al.  Providing high availability using lazy replication , 1992, TOCS.

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

[241]  Per Ola Kristensson,et al.  Discrete and Continuous Shape Writing for Text Entry and Control , 2007 .

[242]  Deborah Estrin,et al.  Directed diffusion for wireless sensor networking , 2003, TNET.

[243]  Miron Livny,et al.  Priority-Hints: An Algorithm for Priority-Based Buffer Management , 1990, VLDB.

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

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

[246]  Wei Hong,et al.  TinyDB: an acquisitional query processing system for sensor networks , 2005, TODS.

[247]  Deborah Estrin,et al.  The Tenet architecture for tiered sensor networks , 2006, SenSys '06.

[248]  Peter Triantafillou,et al.  The Location Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems , 1995, IEEE Trans. Software Eng..

[249]  Joseph Y.-T. Leung,et al.  Handbook of Real-Time and Embedded Systems , 2007 .

[250]  Tarja Susi The puzzle of social activity: the significance of tools in cognition and cooperation , 2006 .

[251]  George Coulouris,et al.  Distributed systems - concepts and design , 1988 .

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

[253]  Vasundhara Unnava,et al.  Query processing in distributed database systems , 1992 .

[254]  Adrian Pop,et al.  Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages , 2008 .

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

[256]  Xian-He Sun,et al.  Performance Considerations of Shared Virtual Memory Machines , 1995, IEEE Trans. Parallel Distributed Syst..

[257]  Miron Livny,et al.  Global Memory Management in Client-Server Database Architectures , 1992, VLDB.

[258]  Ouri Wolfson,et al.  Competitive Analysis of Caching in Distributed Databases , 1998, IEEE Trans. Parallel Distributed Syst..

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

[260]  Donald F. Towsley,et al.  Data Placement, Logging and Recovery in Real-Time Active Databases , 1995, ARTDB.

[261]  Marvin Theimer,et al.  Managing update conflicts in Bayou, a weakly connected replicated storage system , 1995, SOSP.

[262]  Pankaj K. Garg,et al.  Design-time simulation of a large-scale, distributed object system , 1998, TOMC.

[263]  Mehdi Amirijoo,et al.  QoS Control of Real-Time Data Services under Uncertain Workload , 2007 .

[264]  Sorin Manolache,et al.  Analysis and Optimisation of Real-Time Systems with Stochastic Behaviour , 2005 .

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

[266]  Eduardo F. Nakamura,et al.  Information fusion for wireless sensor networks: Methods, models, and classifications , 2007, CSUR.

[267]  Pontus Wärnestål,et al.  Dialogue Behavior Management in Conversational Recommender Systems , 2007 .

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

[269]  Ben Y. Zhao,et al.  OceanStore: an architecture for global-scale persistent storage , 2000, SIGP.

[270]  Alan R. Hevner,et al.  Query Processing in Distributed Database System , 1979, IEEE Transactions on Software Engineering.

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

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

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

[274]  Åsa Hedenskog,et al.  Perceive those things which cannot be seen : A cognitive systems engineering perspective on requirements management , 2006 .

[275]  J. R. Zirbas,et al.  Measuring the scalability of parallel computer systems , 1989, Proceedings of the 1989 ACM/IEEE Conference on Supercomputing (Supercomputing '89).

[276]  Ulf Johansson,et al.  Obtaining Accurate and Comprehensible Data Mining Models: An Evolutionary Approach , 2007 .

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

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

[279]  Deborah Estrin,et al.  Data-centric storage in sensornets , 2003, CCRV.

[280]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

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

[282]  Dennis McLeod,et al.  Proceedings of the sixteenth international conference on Very large databases , 1990 .

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

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

[285]  David R. Karger,et al.  Chord: a scalable peer-to-peer lookup protocol for internet applications , 2003, TNET.

[286]  Jörgen Hansson,et al.  DeeDS towards a distributed and active real-time database system , 1996, SGMD.

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

[288]  Gustavo Alonso,et al.  Supporting partial data accesses to replicated data , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.

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