A Reference Architecture for Distributed Software Deployment
暂无分享,去创建一个
[1] Merijn de Jonge,et al. eServices for Hospital Equipment , 2007, ICSOC.
[2] Mona Attariyan,et al. Using Causality to Diagnose Configuration Bugs , 2008, USENIX Annual Technical Conference.
[3] Seyyed Hamed Hashemi,et al. Studies on verification of wireless sensor networks and abstraction learning for system inference , 2008 .
[4] Yanyan Wang,et al. Automating experimentation on distributed testbeds , 2005, ASE.
[5] Lawrence Rosen,et al. Open Source Licensing: Software Freedom and Intellectual Property Law , 2004 .
[6] Jeroen Doumen,et al. Searching in encrypted data , 2004 .
[7] Michael H. Kalantar,et al. Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools , 2006, Middleware.
[8] Javier Cámara,et al. Behavioural self-adaptation of services in ubiquitous computing environments , 2009, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems.
[9] Eelco Visser,et al. Service configuration management , 2005, SCM '05.
[10] Anton Wijs,et al. What to do next? Analysing and optimising system behaviour in time , 2007 .
[11] Khalil Drira,et al. A framework of models for QoS-oriented adaptive deployment of multi-layer communication services in group cooperative activities , 2008, Comput. Commun..
[12] EM Elena Bortnik,et al. Formal methods in support of SMC design , 2008 .
[13] Aah Ammar Osaiweran. Formal development of control software in the medical systems domain , 2012 .
[14] J. K. Berendsen,et al. Abstraction, prices and probability in model checking timed automata , 2010 .
[15] Gerhard de Koning Gans,et al. Outsmarting smart cards , 2013 .
[16] Roberto Di Cosmo,et al. Managing the Complexity of Large Free and Open Source Package-Based Software Distributions , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
[17] David Garlan,et al. Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .
[18] Joost Noppen,et al. Imperfect Information in Software Design Processes , 2007 .
[19] Michael W. Godfrey,et al. The build-time software architecture view , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.
[20] Jeff Magee,et al. The Evolving Philosophers Problem: Dynamic Change Management , 1990, IEEE Trans. Software Eng..
[21] Scw Bas Ploeger,et al. Improved verification methods for concurrent systems , 2009 .
[22] M. D. Berg,et al. Optimal Geometric Data Structures , 2007 .
[23] Richard S. Hall,et al. Software release management , 1997, ESEC '97/FSE-5.
[24] Ichiro Hasuo,et al. Tracing Anonymity with Coalgebras , 2008 .
[25] Sander van der Burg,et al. Automated Deployment of a Heterogeneous Service-Oriented System , 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.
[26] Nikolay Kavaldjiev,et al. A run-time reconfigurable Network-on-Chip for streaming DSP applications , 2006 .
[27] Daniel M. Germán,et al. Understanding and Auditing the Licensing of Open Source Software Distributions , 2010, 2010 IEEE 18th International Conference on Program Comprehension.
[28] Hasan Sözer,et al. Architecting Fault-Tolerant Software Systems , 2009 .
[29] Tommi Kärkkäinen,et al. Retrieving Open Source Software Licenses , 2006, OSS.
[30] Eduardo Zambon,et al. Abstract Graph Transformation - Theory and Practice , 2013 .
[31] Richard S. Hall,et al. A Characterization Framework for Software Deployment Technologies , 1998 .
[32] Eelco Visser,et al. WebDSL: A Case Study in Domain-Specific Language Engineering , 2007, GTTSE.
[33] Saeed Sedghi,et al. Towards Provably Secure Efficiently Searchable Encryption , 2012 .
[34] Andres Löh,et al. NixOS: a purely functional Linux distribution , 2008, ICFP.
[35] Robert Brijder,et al. Models of natural computation : gene assembly and membrane systems , 2008 .
[36] Trajce Dimkov,et al. Alignment of organizational security policies: Theory and Practice , 2012 .
[37] M. J. de Mol,et al. Reasoning about functional programs : Sparkle, a proof assistant for Clean , 2009 .
[38] Eelco Visser,et al. Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns , 2008, 2008 Eighth International Conference on Web Engineering.
[39] Eelco Dolstra Eelco Visser. The Nix Build Farm: A Declarative Approach to Continuous Integration , 2008 .
[40] M Muhammad Atif,et al. Formal modeling and verification of distributed failure detectors , 2011 .
[41] Georgeta Igna,et al. Performance analysis of real-time task systems using timed automata , 2013 .
[42] van Mj Muck Weerdenburg,et al. Efficient rewriting techniques , 2009 .
[43] van den,et al. Composition and synchronization of real-time components upon one processor , 2013 .
[44] Craig A. Knoblock,et al. Advanced Programming in the UNIX Environment , 1992, Addison-Wesley professional computing series.
[45] Pascal Costanza,et al. Dynamic Replacement of Active Objects in the Gilgul Programming Language , 2002, Component Deployment.
[46] Wolter Pieters,et al. La volonté machinale: understanding the electronic voting controversy , 2008 .
[47] Marija Mikic-Rakic,et al. Architecture-Level Support for Software Component Deployment in Resource Constrained Environments , 2002, Component Deployment.
[48] van Pja Paul Tilburg. From computability to executability : a process-theoretic view on automata theory , 2011 .
[49] T. D. Vu,et al. Semantics and applications of process and program algebra , 2007 .
[50] Sander van der Burg,et al. Automating System Tests Using Declarative Virtual Machines , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.
[51] Yanjing Wang,et al. Epistemic Modelling and Protocol Dynamics , 2010 .
[52] Информатика. Global Assembly Cache , 2010 .
[53] D. Graaf,et al. Mining semi-structured data, theoretical and experimental aspects of pattern evaluation , 2008 .
[54] Sebastiaan Gijsbert Marinus Cornelissen,et al. Evaluating Dynamic Analysis Techniques for Program Comprehension , 2009 .
[55] Dag Johansen,et al. Software Deployment Using Mobile Agents , 2002, Component Deployment.
[56] Hendrik Michaël van der Bijl,et al. On changing models in model-based testing , 2011 .
[57] de A. Bruin,et al. Service-oriented discovery of knowledge : foundations, implementations and applications , 2010 .
[58] Laura Brandán Briones,et al. Theories for Model-based Testing: Real-time and Coverage , 2007 .
[59] 염흥렬,et al. [서평]「Applied Cryptography」 , 1997 .
[60] Steven Hand,et al. Satori: Enlightened Page Sharing , 2009, USENIX Annual Technical Conference.
[61] Paul Clements,et al. Software architecture in practice , 1999, SEI series in software engineering.
[62] Daniel M. German,et al. Discovering Software License Constraints: Identifying a Binary’s Sources by Tracing Build Processes , 2012 .
[63] Eric Foster-Johnson. Red Hat RPM guide , 2002 .
[64] Michael H. Kalantar,et al. An architecture for virtual solution composition and deployment in infrastructure clouds , 2009, VTDC '09.
[65] Ljp Luc Engelen. From napkin sketches to reliable software , 2012 .
[66] Mari Antonius Cornelis Dekker,et al. Flexible Access Control for Dynamic Collaborative Environments , 2009 .
[67] John Paxton,et al. Self-managed Deployment in a Distributed Environment via Utility Functions , 2008, SEKE.
[68] Roberto Di Cosmo,et al. On Software Component Co-Installability (extended version) , 2011 .
[69] Luciano Baresi,et al. Live goals for adaptive service compositions , 2010, SEAMS '10.
[70] Mohammad Mahdi Jaghoori,et al. Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services , 2010 .
[71] Eelco Visser,et al. Code generation by model transformation: a case study in transformation modularity , 2008, Software & Systems Modeling.
[72] Roberto Di Cosmo,et al. Package upgrades in FOSS distributions: details and challenges , 2008, HotSWUp '08.
[73] Michael H. Kalantar,et al. Managing the configuration complexity of distributed applications in Internet data centers , 2006, IEEE Communications Magazine.
[74] Damiano Bolzoni,et al. Revisiting Anomaly-based Network Intrusion Detection Systems , 2009 .
[75] Daniel M. Germán,et al. License integration patterns: Addressing license mismatches in component-based development , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[76] Bas Basten,et al. Ambiguity Detection for Programming Language Grammars , 2011 .
[77] Ncwm Niels Braspenning. Model-based integration and testing of high-tech multi-disciplinary systems , 2008 .
[78] C. J. Boogerd,et al. Focusing Automatic Code Inspections , 2010 .
[79] J. Kwisthout,et al. The Computational Complexity of Probabilistic Networks , 2009 .
[80] Wolfgang De Meuter,et al. Design recovery and maintenance of build systems , 2007, 2007 IEEE International Conference on Software Maintenance.
[81] de Hayco Jong. Flexible heterogeneous software systems , 2007 .
[82] Luciano Baresi,et al. Version-consistent dynamic reconfiguration of component-based distributed systems , 2011, ESEC/FSE '11.
[83] Rupak Majumdar,et al. Engage: a deployment management system , 2012, PLDI '12.
[84] Merijn de Jonge,et al. Imposing a memory management discipline on software deployment , 2004, Proceedings. 26th International Conference on Software Engineering.
[85] Paul Hudak,et al. Conception, evolution, and application of functional programming languages , 1989, CSUR.
[86] T. van der Storm. Component-based configuration, integration and delivery , 2003 .
[87] Ali Mesbah,et al. Analysis and Testing of Ajax-based Single-page Web Applications , 2009 .
[88] Andrew S. Tanenbaum,et al. Operating systems: design and implementation , 1987, Prentice-Hall software series.
[89] Eelco Dolstra,et al. Declarative testing and depolyment of distributed systems , 2010 .
[90] Marius Adrian Marin,et al. An Integrated System to Manage Crosscutting Concerns in Source Code , 2008 .
[91] Yves Caseau,et al. Self-adaptive middleware: Supporting business process priorities and service level agreements , 2005, Adv. Eng. Informatics.
[92] Eelco Visser,et al. Syntax definition for language prototyping , 1997 .
[93] George Necula,et al. apmake : a reliable parallel build manager , 2010 .
[94] Ronald Middelkoop,et al. Capturing and exploiting abstract views of states in OO verification , 2011 .
[95] Justin Cappos,et al. Stork: Package Management for Distributed VM Environments , 2007, LISA.
[96] José Proença,et al. Synchronous Coordination of Distributed Components , 2011 .
[97] Chen Fu,et al. Maintaining and evolving GUI-directed test scripts , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[98] K. Tsirogiannis,et al. Analysis of flow and visibility on triangulated terrains , 2011 .
[99] Fpm Frank Stappers. Bridging formal models : an engineering perspective , 2012 .
[100] van Mf Marcel Amstel,et al. Assessing and improving the quality of model transformations , 2012 .
[101] Jasen Markovski,et al. Real and stochastic time in process algebras for performance evaluation , 2008 .
[102] Raluca Marin-Perianu,et al. Wireless Sensor Networks in Motion - Clustering Algorithms for Service Discovery and Provisioning , 2008 .
[103] Sander van der Burg,et al. Disnix: A toolset for distributed deployment , 2014, Sci. Comput. Program..
[104] Eelco Dolstra,et al. Charon: Declarative provisioning and deployment , 2013, 2013 1st International Workshop on Release Engineering (RELENG).
[105] Karl Trygve Kalleberg,et al. Finding software license violations through binary code clone detection , 2011, MSR '11.
[106] Antonio Cicchetti,et al. A Model Driven Approach to Upgrade Package-Based Software Systems , 2009, ENASE.
[107] Tudor Dumitras,et al. No more HotDependencies: toward dependency-agnostic online upgrades in distributed systems , 2007 .
[108] Sam Malek,et al. Improving Availability in Large, Distributed Component-Based Systems Via Redeployment , 2005, Component Deployment.
[109] D. E. Nadales Agut,et al. A Compositional Interchange Format for Hybrid Systems: Design and Implementation , 2012 .
[110] Lennart C. L. Kats,et al. Building Blocks for Language Workbenches , 2011 .
[111] Eelco Visser,et al. WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications , 2008, MoDELS.
[112] Thomas Bäck,et al. Mixed-integer evolution strategies for parameter optimization and their applications to medical image analysis , 2005 .
[113] D. Costa. Formal models for component connectors , 2010 .
[114] W. Kuijper. Compositional Synthesis of Safety Controllers , 2012 .
[115] Jeff Sutherland,et al. Manifesto for Agile Software Development , 2013 .
[116] Theo D'Hondt,et al. Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates , 2007, IEEE Transactions on Software Engineering.
[117] Anton Wijs,et al. Silent steps in transition systems and Markov chains , 2007 .
[118] H. Hansen. Coalgebraic Modelling : Applications in Automata theory and Modal logic , 2009 .
[119] B. Lijnse,et al. TOP to the rescue. Task-oriented programming for incident response applications , 2005 .
[120] Marcin Czenko,et al. TuLiP : reshaping trust management , 2009 .
[121] Somayeh Malakuti Khah Olun Abadi. Event composition model: achieving naturalness in runtime enforcement , 2011 .
[122] Andrew D. Gordon,et al. A Declarative Approach to Automated Configuration , 2012, LISA.
[123] Kab Kevin Verbeek. Algorithms for cartographic visualization , 2012 .
[124] Farhad Arbab,et al. Model Checking of Component Connectors , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).
[125] A Adam Koprowski,et al. Termination of rewriting and its certification , 2004 .
[126] Christian Krause,et al. Reconfigurable Component Connectors , 2011 .
[127] Ivan S. Zapreev. Model checking Markov chains : techniques and tools , 2008 .
[128] B. J. Arnoldus,et al. An illumination of the template enigma : software code generation with templates , 2011 .
[129] Sander Vermolen,et al. Software Language Evolution , 2008, 2008 15th Working Conference on Reverse Engineering.
[130] Tommi Kärkkäinen,et al. Automated software license analysis , 2009, Automated Software Engineering.
[131] Pascal Durr,et al. Resource-based Verification for Robust Composition of Aspects , 2008 .
[132] Merijn de Jonge,et al. Atomic upgrading of distributed systems , 2008, HotSWUp '08.
[133] Iris Loeb. Natural Deduction, Sharing By Presentation , 2007 .
[134] A. L. de Groot,et al. Practical Automaton proofs in PVS , 2000 .
[135] R. Bakhshi. Gossiping Models : Formal Analysis of Epidemic Protocols , 2011 .
[136] Antonio Cicchetti,et al. Towards a Model Driven Approach to Upgrade Complex Software Systems , 2009, ENASE.
[137] Tim K. Cocx,et al. Metrics and visualisation for crime analysis and genomics , 2005 .
[138] Tom Staijen,et al. Graph-based Specification and Verification for Aspect-Oriented Languages , 2010 .
[139] M. S. Greiler,et al. Test Suite Comprehension for Modular and Dynamic Systems , 2013 .
[140] Mark J. Sebern,et al. SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering , 2015, Computer.
[141] de Ism Ivo Jong. Integration and test strategies for complex manufacturing machines , 2008 .
[142] Vijay Karamcheti,et al. Infrastructure for Automatic Dynamic Deployment of J2EE Applications in Distributed Environments , 2005, Component Deployment.
[143] Sam Malek,et al. Software deployment architecture and quality-of-service in pervasive environments , 2007, ESSPE '07.
[144] Eric S. Raymond,et al. The Art of Unix Programming , 2003 .
[145] Taolue Chen. Clocks, Dice and Processes , 2009 .
[146] Mohammad Ali Abam. New data structures and algorithms for mobile data , 2007 .
[147] Stuart I. Feldman,et al. Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..
[148] Gheorghe Paun. Spiking Neural P Systems: A Tutorial , 2007, Bull. EATCS.
[149] Farhad Mavaddat,et al. Reliable Deployment of Component-based Applications into Distributed Environments , 2006, Third International Conference on Information Technology: New Generations (ITNG'06).
[150] 하수철,et al. [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .
[151] RH Rudolf Mak,et al. Design and performance analysis of data-independent stream processing systems , 2008 .
[152] Ileana Buhan,et al. Cryptographic keys from noisy data, theory and applications , 2008 .
[153] Kyrre M. Begnum. Managing Large Networks of Virtual Machines , 2006, LISA.
[154] Tingting Han,et al. Diagnosis, Synthesis and Analysis of Probabilistic Models , 2009, Ausgezeichnete Informatikdissertationen.
[155] Frederic P. Miller,et al. Apache Maven , 2010 .
[156] Eelco Dolstra,et al. Efficient upgrading in a purely functional component deployment model , 2005, CBSE'05.
[157] Peter Wegner,et al. Research paradigms in computer science , 1976, ICSE '76.
[158] Edsger W. Dijkstra,et al. Communication with an Automatic Computer , 1959 .
[159] Sander Vermolen,et al. Generating database migrations for evolving web applications , 2011, GPCE '11.
[160] Alan Dearle,et al. Software Deployment, Past, Present and Future , 2007, Future of Software Engineering (FOSE '07).
[161] Steve Traugott,et al. Why Order Matters: Turing Equivalence in Automated Systems Administration , 2002, LISA.
[162] Cynthia Kop. Higher Order Termination: Automatable Techniques for Proving Termination of Higher-Order Term Rewriting Systems , 2012 .
[163] Aad Mathssen,et al. Logical Calculi for Reasoning with Binding , 2008 .
[164] Eelco Dolstra. Secure sharing between untrusted users in a transparent source/binary deployment model , 2005, ASE '05.
[165] R. Boumen,et al. Integration and test plans for complex manufacturing systems , 2007 .
[166] Martijn van Veelen,et al. Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .
[167] Gregor von Laszewski,et al. Software, Component, and Service Deployment in Computational Grids , 2002, Component Deployment.
[168] Eelco Dolstra,et al. The purely functional software deployment model , 2006 .
[169] Werner Heijstek,et al. Architecture design in global and model-centric software development , 2012 .
[170] Roberto Di Cosmo,et al. A modular package manager architecture , 2013, Inf. Softw. Technol..
[171] R.S.S. O'Connor,et al. Incompleteness & completeness : formalizing logic and analysis in type theory , 2005 .
[172] Marcel Verhoef,et al. Modeling and validating distributed embedded real-time control systems , 2009 .
[173] Eelco Visser,et al. Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions , 2004, OOPSLA '04.
[174] Bowen Alpern,et al. Opening black boxes: using semantic information to combat virtual machine image sprawl , 2008, VEE '08.
[175] Cfj Christian Lange,et al. Assessing and improving the quality of modeling : a series of empirical studies about the UML , 2007 .
[176] Jens R. Calamé,et al. Testing reactive systems with data: enumerative methods and constraint solving , 2008 .
[177] Yolande Berbers,et al. Resource-Driven Collaborative Component Deployment in Mobile Environments , 2006, International Conference on Autonomic and Autonomous Systems (ICAS'06).
[178] M. T. de Berg,et al. Algorithms for Fat Objects: Decompositions and Applications , 2004 .
[179] 高山 恭介. 入門TRAC : Integrated SCM and Project Management : Linux/Windows対応 , 2009 .
[180] Steve Freeman,et al. Mock Roles, not Objects , 2004 .
[181] Hossein Rahmani,et al. Analysis of protein-protein interaction networks by means of annotated graph mining algorithms , 2012 .
[182] Jacky W. Keung,et al. Guest Editors' Introduction: Software Engineering for the Cloud , 2012, IEEE Softw..
[183] Roberto Di Cosmo,et al. Strong dependencies between software components , 2009, 2009 3rd International Symposium on Empirical Software Engineering and Measurement.
[184] Haibo Chen,et al. POLUS: A POwerful Live Updating System , 2007, 29th International Conference on Software Engineering (ICSE'07).
[185] Judith Bishop,et al. The design of a self-healing composition cycle for Web services , 2009, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems.
[186] Martin R. Neuhäußer,et al. Model checking nondeterministic and randomly timed systems , 2010 .
[187] Martin Bravenboer,et al. Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates , 2003 .
[188] Michael Stonebraker,et al. A Formal Model of Crash Recovery in a Distributed System , 1983, IEEE Transactions on Software Engineering.
[189] Flavio D. Garcia. Formal and Computational Cryptography: Protocols, Hashes and Commitments , 2008 .
[190] Richard N. Taylor,et al. Software architecture: foundations, theory, and practice , 2009, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
[191] Marija Mikic-Rakic,et al. An Extensible Framework for Improving a Distributed Software System's Deployment Architecture , 2012, IEEE Transactions on Software Engineering.
[192] Daniel Brélaz,et al. New methods to color the vertices of a graph , 1979, CACM.
[193] Eelco Visser,et al. Software deployment in a dynamic cloud: From device to service orientation in a hospital environment , 2009, 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing.
[194] Peyman Oreizy,et al. Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.
[195] Richard S. Hall,et al. A cooperative approach to support software deployment using the Software Dock , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[196] Arthur I. Baars,et al. Embedded Compilers , 2009 .
[197] Stephanie Kemper,et al. Modelling and analysis of real-time coordination patterns , 2011 .
[198] Adriaan Middelkoop,et al. Inference of Program Properties with Attribute Grammars, Revisited , 2012 .
[199] Mike Hibler,et al. Large-scale Virtualization in the Emulab Network Testbed , 2008, USENIX ATC.
[200] Xuejun Chen,et al. A Component Framework for Dynamic Reconfiguration of Distributed Systems , 2002, Component Deployment.
[201] Alexander L. Wolf,et al. Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems , 2008, IEEE Transactions on Software Engineering.
[202] Eddy Caron,et al. GoDIET: A Deployment Tool for Distributed Middleware on Grid'5000 , 2006 .
[203] Venkateswara Rao Muvva. Distributed Systems and Recent Innovations: Challenges and Benefits , 2015 .
[204] E Elena Mumford,et al. Drawing graphs for cartographic applications , 2008 .
[205] U Uzma Khadim,et al. Process algebras for hybrid systems : comparison and development , 2008 .
[206] Frédéric Guidec,et al. Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks , 2005, Component Deployment.
[207] Miguel E. Andrés,et al. Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems , 2011, ArXiv.
[208] Magiel Bruntink,et al. Renovation of idiomatic crosscutting concerns in embedded systems , 2005 .
[209] Zef Hemel. Methods and Techniques for the Design and Implementation of Domain-Specific Languages , 2012 .
[210] Cyrille Artho,et al. Why do software packages conflict? , 2012, 2012 9th IEEE Working Conference on Mining Software Repositories (MSR).
[211] Dennis Heimbigner,et al. Reconfiguration in the Enterprise JavaBean Component Model , 2002, Component Deployment.
[212] Gürcan Gülesir,et al. Evolvable Behavior Specifications Using Context-Sensitive Wildcards , 2008 .
[213] J. van den Berg,et al. Reasoning about Java programs in PVS using JML , 2009 .
[214] Farhad Arbab,et al. Deploying loosely coupled, component-based applications into distributed environments , 2006, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
[215] Klara Nahrstedt,et al. A Translation System for Enabling Flexible and Efficient Deployment of QoS-Aware Applications in Ubiquitous Environments , 2002, Component Deployment.
[216] Emmanuele Zambon,et al. Towards optimal IT availability planning: methods and tools , 2011 .
[217] Eelco Visser,et al. Stratego/XT 0.17. A language and toolset for program transformation , 2008, Sci. Comput. Program..
[218] Eelco Visser,et al. The Spoofax language workbench , 2010, SPLASH/OOPSLA Companion.
[219] Shane McIntosh,et al. An empirical study of build maintenance effort , 2011, 2011 33rd International Conference on Software Engineering (ICSE).
[220] Z Zvezdan Protic,et al. Configuration management for models : generic methods for model comparison and model co-evolution , 2011 .
[221] van Mpwj Michiel Osch. Model-based testing of hybrid systems , 2007 .
[222] Paolo Traverso,et al. Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.
[223] Young-Joo Moon,et al. Stochastic models for quality of service of component connectors , 2011 .
[224] A. Rodriguez Yakushev,et al. Towards Getting Generic Programming Ready for Prime Time , 2009 .
[225] Hugo Jonker,et al. Security matters : privacy in voting and fairness in digital exchange , 2009 .
[226] A. Morali,et al. IT architecture-based confidentiality risk assessment in networks of organizations , 2011 .
[227] S. Georgievska. Probability and Hiding in Concurrent Processes ( thesis abstract ) , 2011 .
[228] J. Endrullis. Termination and Productivity , 2010 .
[229] Inês Lynce,et al. Apt-pbo: solving the software dependency problem using pseudo-boolean optimization , 2010, ASE.
[230] Mohammed G. Khatib. MEMS-Based Storage Devices : Integration in Energy-Constrained Mobile Systems , 2009 .
[231] Lacramioara Astefanoaei,et al. An executable theory of multi-agent systems refinement , 2011 .
[232] Jeff Magee,et al. Self-Managed Systems: an Architectural Challenge , 2007, Future of Software Engineering (FOSE '07).
[233] Open Source Inititiative. The Open Source Definition , 2006 .
[234] Arjen van Weelden,et al. Putting Types To Good Use , 2007 .
[235] Bastiaan Stephan Graaf,et al. Model-Driven Evolution of Software Architectures , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).
[236] Harmen Kastenberg. Graph-based software specification and verification , 2008 .
[237] M. T. de Berg,et al. Multi-functional geometric data structures , 2003 .
[238] M. G. van der Horst,et al. Scalable block processing algorithms , 2008 .
[239] Dmitri Jarnikov,et al. QoS framework for video streaming in home networks , 2007 .
[240] Sander van der Burg,et al. A self-adaptive deployment framework for service-oriented systems , 2011, SEAMS '11.
[241] M. Torabi Dashti,et al. Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols , 2008 .
[242] Katsuro Inoue,et al. A sentence-matching method for automatic license identification of source code files , 2010, ASE.
[243] Karina R. Olmos Joffré. Strategies for Context Sensitive Program Transformation , 2009 .
[244] Matthew Wilcox,et al. Improving the Linux Test Project with Kernel Code Coverage Analysis , 2003 .
[245] Tim K. Cocx,et al. Algorithmic tools for data-oriented law enforcement , 2009 .
[246] Sander van der Burg. A generic approach for deploying and upgrading mutable software components , 2012, 2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp).