Search results for "WADS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Joan Boyar, Sandy Irani, Kim S. Larsen	A Comparison of Performance Measures for Online Algorithms.	WADS	2009	DBLP DOI BibTeX RDF
1	David Eppstein, Emma S. Spiro	The h-Index of a Graph and Its Application to Dynamic Subgraph Statistics.	WADS	2009	DBLP DOI BibTeX RDF
1	Shane Brennan, Serena Fritsch, Yu Liu, Ashley Sterritt, Jorge Fox, Éamonn Linehan, Cormac Driver, René Meier, Vinny Cahill, William Harrison, Siobhán Clarke	A Framework for Flexible and Dependable Service-Oriented Embedded Systems.	WADS	2009	DBLP DOI BibTeX RDF
1	Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini	Architecting and Validating Dependable Systems: Experiences and Visions.	WADS	2009	DBLP DOI BibTeX RDF
1	Vincenzo De Florio	Software Assumptions Failure Tolerance: Role, Strategies, and Visions.	WADS	2009	DBLP DOI BibTeX RDF
1	Keith A. Bare, Soila Kavulya, Jiaqi Tan, Xinghao Pan, Eugene Marinelli, Michael P. Kasick, Rajeev Gandhi, Priya Narasimhan	ASDF: An Automated, Online Framework for Diagnosing Performance Problems.	WADS	2009	DBLP DOI BibTeX RDF
1	Neil B. Harrison, Paris Avgeriou	Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns.	WADS	2009	DBLP DOI BibTeX RDF
1	Andreas Fuchs 0002, Roland Rieke	Identification of Security Requirements in Systems of Systems by Functional Security Analysis.	WADS	2009	DBLP DOI BibTeX RDF
1	Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (eds.)	Architecting Dependable Systems VI	WADS	2009	DBLP DOI BibTeX RDF
1	Felix Salfner, Miroslaw Malek	Architecting Dependable Systems with Proactive Fault Management.	WADS	2009	DBLP DOI BibTeX RDF
1	Douglas M. Blough, Giovanni Resta, Paolo Santi, Mauro Leoncini	Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control.	WADS	2009	DBLP DOI BibTeX RDF
1	Themistoklis Bourdenas, Morris Sloman, Emil C. Lupu	Self-healing for Pervasive Computing Systems.	WADS	2009	DBLP DOI BibTeX RDF
1	Marc-Olivier Killijian, Matthieu Roy	Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform.	WADS	2009	DBLP DOI BibTeX RDF
1	José Rufino, João Craveiro, Paulo Veríssimo	Architecting Robustness and Timeliness in a New Generation of Aerospace Systems.	WADS	2009	DBLP DOI BibTeX RDF
1	Matti A. Hiltunen, Richard D. Schlichting	Is Collaborative QoS the Solution to the SOA Dependability Dilemma?	WADS	2009	DBLP DOI BibTeX RDF
1	Jean-Charles Fabre	Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges.	WADS	2009	DBLP DOI BibTeX RDF
1	Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.)	Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis]	WADS	2008	DBLP DOI BibTeX RDF
1	Maciej P. Machulak, Simon E. Parkin, Aad P. A. van Moorsel	Architecting Dependable Access Control Systems for Multi-domain Computing Environments.	WADS	2008	DBLP DOI BibTeX RDF
1	Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola	Towards Self-adaptation for Dependable Service-Oriented Systems.	WADS	2008	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Francesco Santini 0001	Soft Constraints for Dependable Service Oriented Architectures.	WADS	2008	DBLP DOI BibTeX RDF
1	Dénes Bisztray, Reiko Heckel, Hartmut Ehrig	Compositional Verification of Architectural Refactorings.	WADS	2008	DBLP DOI BibTeX RDF	UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation
1	Alessandro Aldini, Marco Bernardo 0001	Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.	WADS	2008	DBLP DOI BibTeX RDF
1	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Bettina Kemme, Francisco Perez-Sorrosal, Damián Serrano	A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures.	WADS	2008	DBLP DOI BibTeX RDF
1	Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic	A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation.	WADS	2008	DBLP DOI BibTeX RDF
1	Fabienne Boyer, Noel De Palma, Olivier Gruber, Sylvain Sicard, Jean-Bernard Stefani	A Self-repair Architecture for Cluster Systems.	WADS	2008	DBLP DOI BibTeX RDF
1	Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè	Handling Software Faults with Redundancy.	WADS	2008	DBLP DOI BibTeX RDF
1	Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink	Architecting Security with Paradigm.	WADS	2008	DBLP DOI BibTeX RDF
1	Nuno Laranjeiro, Marco Vieira, Henrique Madeira	Robustness Validation in Service-Oriented Architectures.	WADS	2008	DBLP DOI BibTeX RDF	Online Information Services, Reliability and robustness, Benchmarking, Testing and Debugging
1	Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi	A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.	WADS	2008	DBLP DOI BibTeX RDF	Software Architecture Formal Analysis, Security, Fault Tolerance
1	Gabriele Lenzini	Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services.	WADS	2008	DBLP DOI BibTeX RDF	context-aware software architectures, trust-based authentication, Subjective Logic
1	Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa	Approximation Algorithms for the Sex-Equal Stable Marriage Problem.	WADS	2007	DBLP DOI BibTeX RDF	the stable marriage problem, the sex-equal stable marriage problem, approximation algorithms
1	Prosenjit Bose, Aaron Lee, Michiel H. M. Smid	On Generalized Diamond Spanners.	WADS	2007	DBLP DOI BibTeX RDF
1	Yakov Nekrich	Orthogonal Range Searching in Linear and Almost-Linear Space.	WADS	2007	DBLP DOI BibTeX RDF
1	Binay K. Bhattacharya, Qiaosheng Shi	Optimal Algorithms for the Weighted p -Center Problems on the Real Line for Small p.	WADS	2007	DBLP DOI BibTeX RDF
1	Leah Epstein, Rob van Stee	Improved Results for a Memory Allocation Problem.	WADS	2007	DBLP DOI BibTeX RDF
1	Martin Fürer, Shiva Prasad Kasiviswanathan	Spanners for Geometric Intersection Graphs.	WADS	2007	DBLP DOI BibTeX RDF
1	Guilherme Dias da Fonseca	Approximate Range Searching: The Absolute Model.	WADS	2007	DBLP DOI BibTeX RDF
1	Michael A. Langston	Algorithmic Challenges for Systems-Level Correlational Analysis: A Tale of Two Datasets.	WADS	2007	DBLP DOI BibTeX RDF
1	Magnús M. Halldórsson, Elena Losievskaja	Independent Sets in Bounded-Degree Hypergraphs.	WADS	2007	DBLP DOI BibTeX RDF
1	Giuseppe Di Battista, Guido Drovandi, Fabrizio Frati	How to Draw a Clustered Tree.	WADS	2007	DBLP DOI BibTeX RDF
1	Orgad Keller, Tsvi Kopelowitz, Moshe Lewenstein	Range Non-overlapping Indexing and Successive List Indexing.	WADS	2007	DBLP DOI BibTeX RDF
1	Rodrigo I. Silveira, René van Oostrum	Flooding Countries and Destroying Dams.	WADS	2007	DBLP DOI BibTeX RDF
1	Faisal N. Abu-Khzam	Kernelization Algorithms for d-Hitting Set Problems.	WADS	2007	DBLP DOI BibTeX RDF
1	Senjuti Basu Roy, Gautam Das 0001, Sajal K. Das 0001	Computing Best Coverage Path in the Presence of Obstacles in a Sensor Field.	WADS	2007	DBLP DOI BibTeX RDF
1	David Eppstein, Michael T. Goodrich	Space-Efficient Straggler Identification in Round-Trip Data Streams Via Newton's Identities and Invertible Bloom Filters.	WADS	2007	DBLP DOI BibTeX RDF
1	Staal Amund Vinterbo	A Stab at Approximating Minimum Subadditive Join.	WADS	2007	DBLP DOI BibTeX RDF
1	Maarten Löffler, Marc J. van Kreveld	Largest Bounding Box, Smallest Diameter, and Related Problems on Imprecise Points.	WADS	2007	DBLP DOI BibTeX RDF
1	Dominique Attali, Herbert Edelsbrunner, John Harer, Yuriy Mileyko	Alpha-Beta Witness Complexes.	WADS	2007	DBLP DOI BibTeX RDF
1	Oswin Aichholzer, Franz Aurenhammer, Thomas Hackl, Bert Jüttler, Margot Oberneder, Zbynek Sír	Computational and Structural Advantages of Circular Boundary Representation.	WADS	2007	DBLP DOI BibTeX RDF
1	Therese C. Biedl, Anna Lubiw, Michael J. Spriggs	Cauchy's Theorem and Edge Lengths of Convex Polyhedra.	WADS	2007	DBLP DOI BibTeX RDF
1	Frank K. H. A. Dehne, Jörg-Rüdiger Sack, Norbert Zeh (eds.)	Algorithms and Data Structures, 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings	WADS	2007	DBLP DOI BibTeX RDF
1	Martin Farach-Colton, Miguel A. Mosteiro	Initializing Sensor Networks of Non-uniform Density in the Weak Sensor Model.	WADS	2007	DBLP DOI BibTeX RDF
1	Mikhail J. Atallah, Marina Blanton, Michael T. Goodrich, Stanislas Polu	Discrepancy-Sensitive Dynamic Fractional Cascading, Dominated Maxima Searching, and 2-d Nearest Neighbors in Any Minkowski Metric.	WADS	2007	DBLP DOI BibTeX RDF
1	Jianer Chen, Fedor V. Fomin, Yang Liu 0002, Songjian Lu, Yngve Villanger	Improved Algorithms for the Feedback Vertex Set Problems.	WADS	2007	DBLP DOI BibTeX RDF
1	Jiong Guo, Johannes Uhlmann	Kernelization and Complexity Results for Connectivity Augmentation Problems.	WADS	2007	DBLP DOI BibTeX RDF
1	Tobias Jacobs	Constant Factor Approximations for the Hotlink Assignment Problem.	WADS	2007	DBLP DOI BibTeX RDF	Hotlink Assignment, Approximation Algorithms, Dynamic Programming, Graph Theory, Greedy Algorithms
1	Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl, Dieter Kratsch, Mathieu Liedloff	Branch and Recharge: Exact Algorithms for Generalized Domination.	WADS	2007	DBLP DOI BibTeX RDF
1	Glencora Borradaile, Philip N. Klein, Claire Mathieu	Steiner Tree in Planar Graphs: An O ( n log n ) Approximation Scheme with Singly-Exponential Dependence on Epsilon.	WADS	2007	DBLP DOI BibTeX RDF
1	Patrizio Angelini, Giuseppe Di Battista, Maurizio Patrignani	Computing a Minimum-Depth Planar Graph Embedding in O ( n 4) Time.	WADS	2007	DBLP DOI BibTeX RDF
1	David Eppstein, Marc J. van Kreveld, Elena Mumford, Bettina Speckmann	Edges and Switches, Tunnels and Bridges.	WADS	2007	DBLP DOI BibTeX RDF
1	Melanie Badent, Emilio Di Giacomo, Giuseppe Liotta	Drawing Colored Graphs on Colored Points.	WADS	2007	DBLP DOI BibTeX RDF
1	Jörg Derungs, Riko Jacob, Peter Widmayer	Approximate Shortest Paths Guided by a Small Index.	WADS	2007	DBLP DOI BibTeX RDF
1	Michael Gatto, Peter Widmayer	On the Robustness of Graham's Algorithm for Online Scheduling.	WADS	2007	DBLP DOI BibTeX RDF
1	Ge Nong, Sen Zhang	Optimal Lightweight Construction of Suffix Arrays for Constant Alphabets.	WADS	2007	DBLP DOI BibTeX RDF
1	Mark de Berg, Otfried Cheong, Herman J. Haverkort, Jung Gun Lim, Laura Toma	I/O-Efficient Flow Modeling on Fat Terrains.	WADS	2007	DBLP DOI BibTeX RDF
1	Piotr Berman, Shiva Prasad Kasiviswanathan	Faster Approximation of Distances in Graphs.	WADS	2007	DBLP DOI BibTeX RDF
1	Ajay Deshpande, Taejung Kim, Erik D. Demaine, Sanjay E. Sarma	A Pseudopolynomial Time O (log n )-Approximation Algorithm for Art Gallery Problems.	WADS	2007	DBLP DOI BibTeX RDF
1	Prabhakar Gubbala, Balaji Raghavachari	A 4/3-Approximation Algorithm for Minimum 3-Edge-Connectivity.	WADS	2007	DBLP DOI BibTeX RDF	Approximation algorithms, Combinatorial Optimization, Connectivity, Graph and network algorithms
1	Jean Cardinal, Erik D. Demaine, Samuel Fiorini, Gwenaël Joret, Stefan Langerman, Ilan Newman, Oren Weimann	The Stackelberg Minimum Spanning Tree Game.	WADS	2007	DBLP DOI BibTeX RDF
1	Prosenjit Bose, Paz Carmi, Mathieu Couture, Michiel H. M. Smid, Daming Xu	On a Family of Strong Geometric Spanners That Admit Local Routing Strategies.	WADS	2007	DBLP DOI BibTeX RDF
1	Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave	Priority Queues Resilient to Memory Faults.	WADS	2007	DBLP DOI BibTeX RDF
1	Matthias Müller-Hannemann, Siamak Tazari	A Near Linear Time Approximation Scheme for Steiner Tree Among Obstacles in the Plane.	WADS	2007	DBLP DOI BibTeX RDF	Uniform Orientation Metric, Banyan, Planar Graph, Steiner Tree, Spanner, PTAS, Obstacles, Euclidean Metric
1	Jeff Erickson 0001	Finding Small Holes.	WADS	2007	DBLP DOI BibTeX RDF
1	Deepak Ajwani, Saurabh Ray, Raimund Seidel, Hans Raj Tiwary	On Computing the Centroid of the Vertices of an Arrangement and Related Problems.	WADS	2007	DBLP DOI BibTeX RDF
1	Jan Remy, Reto Spöhel, Andreas Weißl	On Euclidean Vehicle Routing with Allocation.	WADS	2007	DBLP DOI BibTeX RDF
1	Fabiano C. Botelho, Rasmus Pagh, Nivio Ziviani	Simple and Space-Efficient Minimal Perfect Hash Functions.	WADS	2007	DBLP DOI BibTeX RDF
1	Amitabh Chaudhary, Danny Z. Chen, Rudolf Fleischer, Xiaobo Sharon Hu, Jian Li 0015, Michael T. Niemier, Zhiyi Xie, Hong Zhu 0004	Approximating the Maximum Sharing Problem.	WADS	2007	DBLP DOI BibTeX RDF
1	Hisashi Koga	Dynamic TCP Acknowledgment with Sliding Window.	WADS	2007	DBLP DOI BibTeX RDF
1	Lukasz Kowalik, Marcin Mucha	35/44-Approximation for Asymmetric Maximum TSP with Triangle Inequality.	WADS	2007	DBLP DOI BibTeX RDF
1	Kengo Terasawa, Yuzuru Tanaka	Spherical LSH for Approximate Nearest Neighbor Search on Unit Hypersphere.	WADS	2007	DBLP DOI BibTeX RDF
1	Marc J. van Kreveld, Maarten Löffler, Rodrigo I. Silveira	Optimization for First Order Delaunay Triangulations.	WADS	2007	DBLP DOI BibTeX RDF
1	Mark de Berg, Chris Gray	Computing the Visibility Map of Fat Objects.	WADS	2007	DBLP DOI BibTeX RDF
1	Oswin Aichholzer, Thomas Hackl, Michael Hoffmann 0001, Clemens Huemer, Attila Pór, Francisco Santos, Bettina Speckmann, Birgit Vogtenhuber	Maximizing Maximal Angles for Plane Straight-Line Graphs.	WADS	2007	DBLP DOI BibTeX RDF
1	Eynat Rafalin, Diane L. Souvaine, Csaba D. Tóth	Cuttings for Disks and Axis-Aligned Rectangles.	WADS	2007	DBLP DOI BibTeX RDF
1	Magnús M. Halldórsson, Christian Knauer, Andreas Spillner 0001, Takeshi Tokuyama	Fixed-Parameter Tractability for Non-Crossing Spanning Trees.	WADS	2007	DBLP DOI BibTeX RDF
1	Marcin Bienkowski, Jaroslaw Kutylowski	The k -Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces.	WADS	2007	DBLP DOI BibTeX RDF
1	Jianer Chen, Yang Liu 0002, Songjian Lu	An Improved Parameterized Algorithm for the Minimum Node Multiway Cut Problem.	WADS	2007	DBLP DOI BibTeX RDF
1	Joseph G. Slember, Priya Narasimhan	Handling Emergent Nondeterminism in Replicated Services.	WADS	2007	DBLP DOI BibTeX RDF
1	Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic	Using Architecture Analysis to Evolve Complex Industrial Systems.	WADS	2007	DBLP DOI BibTeX RDF	D.2.11 Software Architectures, D.2.7.m Restructuring, reverse engineering, reengineering
1	Holger Giese, Stefan Henkler, Martin Hirsch 0001	Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.	WADS	2007	DBLP DOI BibTeX RDF
1	Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Ioannis Parissis	Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.	WADS	2007	DBLP DOI BibTeX RDF
1	Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli	A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures.	WADS	2007	DBLP DOI BibTeX RDF	middleware technology, jms, java, information sharing, situation awareness, soap, risk assessment, application server, critical infrastructure, interdependencies, ejb
1	Bernhard Jansen, HariGovind V. Ramasamy, Matthias Schunter, Axel Tanner	Architecting Dependable and Secure Systems Using Virtualization.	WADS	2007	DBLP DOI BibTeX RDF
1	Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross	Design, Implementation and Deployment of State Machines Using a Generative Approach.	WADS	2007	DBLP DOI BibTeX RDF
1	Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo	Analysis of a Redundant Architecture for Critical Infrastructure Protection.	WADS	2007	DBLP DOI BibTeX RDF
1	Geert Deconinck, Koen Vanthournout, Hakem Beitollahi, Zhifeng Qui, Rui Duan, Bart Nauwelaers, Emmanuel Van Lil, Johan Driesen, Ronnie Belmans	A Robust Semantic Overlay Network for Microgrid Control Applications.	WADS	2007	DBLP DOI BibTeX RDF
1	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (eds.)	Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA]	WADS	2007	DBLP DOI BibTeX RDF
1	Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis, Gábor Huszerl, András Pataricza	Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.	WADS	2007	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia 0001, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone	The CRUTIAL Architecture for Critical Information Infrastructures.	WADS	2007	DBLP DOI BibTeX RDF
1	Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios.	WADS	2007	DBLP DOI BibTeX RDF

Publications at "WADS"( http://dblp.L3S.de/Venues/WADS )