Search results for "WADS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini	Evaluation of Critical Infrastructures: Challenges and Viable Approaches.	WADS	2007	DBLP DOI BibTeX RDF
1	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Plug-and-Play Architectural Design and Verification.	WADS	2007	DBLP DOI BibTeX RDF
1	Alek Radjenovic, Richard F. Paige	The View Glue.	WADS	2006	DBLP DOI BibTeX RDF	view consistency, modelling, software architectures, safety critical systems, architectural views
1	Ali Ebnenasir, Betty H. C. Cheng	A Pattern-Based Approach for Modeling and Analyzing Error Recovery.	WADS	2006	DBLP DOI BibTeX RDF	Fault-Tolerance, UML, Formal Methods, Requirements Analysis, Error Recovery, Corrector
1	Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001	Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.	WADS	2006	DBLP DOI BibTeX RDF	systems engineering, architecture description language, automotive systems
1	António Casimiro, Jörg Kaiser, Paulo Veríssimo	Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.	WADS	2006	DBLP DOI BibTeX RDF
1	Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche	A System Dependability Modeling Framework Using AADL and GSPNs.	WADS	2006	DBLP DOI BibTeX RDF	evaluation, model transformation, AADL, dependability modeling, GSPN
1	Hasan Sözer, Bedir Tekinerdogan, Mehmet Aksit	Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level.	WADS	2006	DBLP DOI BibTeX RDF	FTA, reliability analysis, FMEA, software architecture evaluation
1	Joyce L. Tokar	Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL).	WADS	2006	DBLP DOI BibTeX RDF	Modeling, Dependability, Architecture description language, Architecture analysis
1	Dejan Desovski, Bojan Cukic	A Component-Based Approach to Verification and Validation of Formal Software Models.	WADS	2006	DBLP DOI BibTeX RDF
1	Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker 0002	An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.	WADS	2006	DBLP DOI BibTeX RDF
1	Paola Inverardi, Leonardo Mostarda	A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level.	WADS	2006	DBLP DOI BibTeX RDF
1	Rick Buskens, Oscar J. Gonzalez	Model-Centric Development of Highly Available Software Systems.	WADS	2006	DBLP DOI BibTeX RDF	model-centric software development, middleware, high availability
1	Tudor Dumitras, Daniela Rosu 0001, Asit Dan, Priya Narasimhan	Ecotopia: An Ecological Framework for Change Management in Distributed Systems.	WADS	2006	DBLP DOI BibTeX RDF	Dynamic Change Management, Performability, Autonomic Computing, Service Orchestration, Fault-Tolerant Architecture
1	Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss	Flexible Communication Architecture for Dependable Time-Triggered Systems.	WADS	2006	DBLP DOI BibTeX RDF
1	Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk	Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases.	WADS	2006	DBLP DOI BibTeX RDF
1	Weihang Wu, Tim Kelly	Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.	WADS	2006	DBLP DOI BibTeX RDF	software safety evidence, software architecture, design decisions
1	Luciano Baresi, Sam Guinea, Marco Plebani	Business Process Monitoring for Dependability.	WADS	2006	DBLP DOI BibTeX RDF
1	Antônio Tadeu A. Gomes, Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson	Architecting Dynamic Reconfiguration in Dependable Systems.	WADS	2006	DBLP DOI BibTeX RDF	specification-to-deployment environments, dynamic reconfiguration, dependable systems
1	Rogério de Lemos	Architectural Fault Tolerance Using Exception Handling.	WADS	2006	DBLP DOI BibTeX RDF
1	Csaba D. Tóth	Orthogonal Subdivisions with Low Stabbing Numbers.	WADS	2005	DBLP DOI BibTeX RDF
1	Giorgio Ausiello, Vincenzo Bonifaci, Luigi Laura	The On-line Asymmetric Traveling Salesman Problem.	WADS	2005	DBLP DOI BibTeX RDF
1	Frank K. H. A. Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack (eds.)	Algorithms and Data Structures, 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings	WADS	2005	DBLP DOI BibTeX RDF
1	David Morgan	A Dynamic Implicit Adjacency Labelling Scheme for Line Graphs.	WADS	2005	DBLP DOI BibTeX RDF
1	Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001	Parameterized Complexity of Generalized Vertex Cover Problems.	WADS	2005	DBLP DOI BibTeX RDF
1	Giora Alexandron, Haim Kaplan, Micha Sharir	Kinetic and Dynamic Data Structures for Convex Hulls and Upper Envelopes.	WADS	2005	DBLP DOI BibTeX RDF
1	Ankur Bhargava, S. Rao Kosaraju	Derandomization of Dimensionality Reduction and SDP Based Algorithms.	WADS	2005	DBLP DOI BibTeX RDF
1	Victor Chepoi, Bertrand Estellon, Yann Vaxès	Approximation Algorithms for Forests Augmentation Ensuring Two Disjoint Paths of Bounded Length.	WADS	2005	DBLP DOI BibTeX RDF
1	Minkyoung Cho, David M. Mount	Improved Approximation Bounds for Planar Point Pattern Matching.	WADS	2005	DBLP DOI BibTeX RDF
1	Luca Castelli Aleardi, Olivier Devillers, Gilles Schaeffer	Succinct Representation of Triangulations with a Boundary.	WADS	2005	DBLP DOI BibTeX RDF
1	Piotr Berman, Bhaskar DasGupta	Approximating the Online Set Multicover Problems via Randomized Winnowing.	WADS	2005	DBLP DOI BibTeX RDF
1	Refael Hassin, Danny Segev	The Multi-radius Cover Problem.	WADS	2005	DBLP DOI BibTeX RDF
1	David Eppstein, Michael T. Goodrich, Daniel S. Hirschberg	Improved Combinatorial Group Testing for Real-World Problem Sizes.	WADS	2005	DBLP DOI BibTeX RDF	combinatorial group testing, Chinese remaindering, Bloom filters
1	Jiong Guo, Jens Gramm, Falk Hüffner, Rolf Niedermeier, Sebastian Wernicke 0001	Improved Fixed-Parameter Algorithms for Two Feedback Set Problems.	WADS	2005	DBLP DOI BibTeX RDF
1	Amitabh Chaudhary, Michael T. Goodrich	Balanced Aspect Ratio Trees Revisited.	WADS	2005	DBLP DOI BibTeX RDF
1	Shlomo Moran, Sagi Snir	Convex Recolorings of Strings and Trees: Definitions, Hardness Results and Algorithms.	WADS	2005	DBLP DOI BibTeX RDF
1	Gerth Stølting Brodal, Gabriel Moruz	Tradeoffs Between Branch Mispredictions and Comparisons for Sorting Algorithms.	WADS	2005	DBLP DOI BibTeX RDF
1	Naomi Nishimura, Prabhakar Ragde, Dimitrios M. Thilikos	Parameterized Counting Algorithms for General Graph Covering Problems.	WADS	2005	DBLP DOI BibTeX RDF
1	Mordecai J. Golin, Zhenming Liu	The Structure of Optimal Prefix-Free Codes in Restricted Languages: The Uniform Probability Case.	WADS	2005	DBLP DOI BibTeX RDF
1	Ilya Baran, Erik D. Demaine, Mihai Patrascu	Subquadratic Algorithms for 3SUM.	WADS	2005	DBLP DOI BibTeX RDF
1	André Berger, Ojas Parekh	Linear Time Algorithms for Generalized Edge Dominating Set Problems.	WADS	2005	DBLP DOI BibTeX RDF
1	Jason D. Hartline, Vladlen Koltun	Near-Optimal Pricing in Near-Linear Time.	WADS	2005	DBLP DOI BibTeX RDF
1	Timothy M. Chan	All-Pairs Shortest Paths with Real Weights in O(n3/log n) Time.	WADS	2005	DBLP DOI BibTeX RDF
1	Christian Worm Mortensen, Seth Pettie	The Complexity of Implicit and Space Efficient Priority Queues.	WADS	2005	DBLP DOI BibTeX RDF
1	Markus Bläser, L. Shankar Ram, Maxim Sviridenko	Improved Approximation Algorithms for Metric Maximum ATSP and Maximum 3-Cycle Cover Problems.	WADS	2005	DBLP DOI BibTeX RDF
1	Adrian Dumitrescu, Annette Ebbers-Baumann, Ansgar Grüne, Rolf Klein, Günter Rote	On Geometric Dilation and Halving Chords.	WADS	2005	DBLP DOI BibTeX RDF
1	Ovidiu Daescu, Joseph S. B. Mitchell, Simeon C. Ntafos, James D. Palmer, Chee-Keng Yap	k-Link Shortest Paths in Weighted Subdivisions.	WADS	2005	DBLP DOI BibTeX RDF
1	Yuriy A. Reznik	Analysis of a Class of Tries with Adaptive Multi-digit Branching.	WADS	2005	DBLP DOI BibTeX RDF
1	Alejandro Almeida Ruiz, Fabrizio Luccio, Antonio Mesa Enriques, Linda Pagli	k-Restricted Rotation with an Application to Search Tree Rebalancing.	WADS	2005	DBLP DOI BibTeX RDF	Rotation distance, Rebalancing, Data structures, Rotation, Binary tree, Search tree, AVL tree, Design of algorithms
1	Jan Vahrenhold	Line-Segment Intersection Made In-Place.	WADS	2005	DBLP DOI BibTeX RDF
1	Kazuo Iwama, Andrzej Lingas, Masaki Okita	Max-stretch Reduction for Tree Spanners.	WADS	2005	DBLP DOI BibTeX RDF
1	Zhentao Li, Bruce A. Reed	Heap Building Bounds.	WADS	2005	DBLP DOI BibTeX RDF
1	Karim Douïeb, Stefan Langerman	Dynamic Hotlinks.	WADS	2005	DBLP DOI BibTeX RDF
1	Michael A. Bender, David P. Bunde, Erik D. Demaine, Sándor P. Fekete, Vitus J. Leung, Henk Meijer, Cynthia A. Phillips	Communication-Aware Processor Allocation for Supercomputers.	WADS	2005	DBLP DOI BibTeX RDF
1	Allan Borodin	Towards a Theory of Algorithms.	WADS	2005	DBLP DOI BibTeX RDF
1	Piotr Berman, Surajit K. Das	On the Vehicle Routing Problem.	WADS	2005	DBLP DOI BibTeX RDF
1	Paz Carmi, Matthew J. Katz, Joseph S. B. Mitchell	The Minimum-Area Spanning Tree Problem.	WADS	2005	DBLP DOI BibTeX RDF
1	Erik D. Demaine, Martin L. Demaine, Jeffrey F. Lindy, Diane L. Souvaine	Hinged Dissection of Polypolyhedra.	WADS	2005	DBLP DOI BibTeX RDF
1	Jian-Jia Chen, Tei-Wei Kuo, Hsueh-I Lu	Power-Saving Scheduling for Weakly Dynamic Voltage Scaling Devices.	WADS	2005	DBLP DOI BibTeX RDF
1	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (eds.)	Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops]	WADS	2005	DBLP DOI BibTeX RDF
1	Rogério de Lemos	Architecting Web Services Applications for Improving Availability.	WADS	2004	DBLP DOI BibTeX RDF
1	Tudor Dumitras, Deepti Srivastava, Priya Narasimhan	Architecting and Implementing Versatile Dependability.	WADS	2004	DBLP DOI BibTeX RDF
1	Ji Zhang, Betty H. C. Cheng, Zhenxiao Yang, Philip K. McKinley	Enabling Safe Dynamic Component-Based Software Adaptation.	WADS	2004	DBLP DOI BibTeX RDF
1	Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny	Semantics-Aware Services for the Mobile Computing Environment.	WADS	2004	DBLP DOI BibTeX RDF
1	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky (eds.)	Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems]	WADS	2004	DBLP DOI BibTeX RDF
1	Michael Jackson 0001	Problem Structure and Dependable Architecture.	WADS	2004	DBLP DOI BibTeX RDF
1	Matti A. Hiltunen, Richard D. Schlichting	The Lost Art of Abstraction.	WADS	2004	DBLP DOI BibTeX RDF
1	Carlos Molina-Jiménez, Jim Pruyne, Aad P. A. van Moorsel	The Role of Agreements in IT Management Software.	WADS	2004	DBLP DOI BibTeX RDF
1	J. H. Sowell, R. E. Kurt Stirewalt	A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers.	WADS	2004	DBLP DOI BibTeX RDF
1	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
1	Regina Lúcia de Oliveira Moraes, Eliane Martins	Fault Injection Approach Based on Architectural Dependencies.	WADS	2004	DBLP DOI BibTeX RDF
1	Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Peter T. Popov, Alexander B. Romanovsky	Dependable Composite Web Services with Components Upgraded Online.	WADS	2004	DBLP DOI BibTeX RDF
1	Ivica Crnkovic, Magnus Larsson, Otto Preiss	Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes.	WADS	2004	DBLP DOI BibTeX RDF
1	Marcio S. Dias, Debra J. Richardson	Adaptable Analysis of Dependable System Architectures Through Monitoring.	WADS	2004	DBLP DOI BibTeX RDF
1	Marie-Claude Gaudel	Toward Undoing in Composite Web Services.	WADS	2004	DBLP DOI BibTeX RDF
1	Vincenzo Grassi	Architecture-Based Reliability Prediction for Service-Oriented Computing.	WADS	2004	DBLP DOI BibTeX RDF
1	Sam Malek, Nels E. Beckman, Marija Mikic-Rakic, Nenad Medvidovic	A Framework for Ensuring and Improving Dependability in Highly Distributed Systems.	WADS	2004	DBLP DOI BibTeX RDF
1	Andrew Solomon, Paul J. Sutcliffe, Raymond Lister	Sorting Circular Permutations by Reversal. .	WADS	2003	DBLP DOI BibTeX RDF
1	Gill Barequet, Michael T. Goodrich, Chris Riley	Drawing Graphs with Large Vertices and Thick Edges.	WADS	2003	DBLP DOI BibTeX RDF
1	Marek Karpinski, Ion I. Mandoiu, Alexander Olshevsky, Alexander Zelikovsky	Improved Approximation Algorithms for the Quality of Service Steiner Tree Problem.	WADS	2003	DBLP DOI BibTeX RDF
1	Susanne Albers, Markus Büttner	Integrated Prefetching and Caching with Read and Write Requests.	WADS	2003	DBLP DOI BibTeX RDF
1	Christian A. Duncan	Multi-way Space Partitioning Trees.	WADS	2003	DBLP DOI BibTeX RDF
1	Elena Prieto-Rodriguez, Christian Sloper	Either/Or: Using Vertex Cover Structure in Designing FPT-Algorithms - The Case of k-Internal Spanning Tree.	WADS	2003	DBLP DOI BibTeX RDF
1	Amr Elmasry	Distribution-Sensitive Binomial Queues.	WADS	2003	DBLP DOI BibTeX RDF
1	Martin Ziegler 0001	Fast Relative Approximation of Potential Fields.	WADS	2003	DBLP DOI BibTeX RDF
1	Behdad Esfahbod, Mohammad Ghodsi, Ali Sharifi	Common-Deadline Lazy Bureaucrat Scheduling Problems.	WADS	2003	DBLP DOI BibTeX RDF
1	Amihood Amir, Gad M. Landau, Moshe Lewenstein, Dina Sokol	Dynamic Text and Static Pattern Matching.	WADS	2003	DBLP DOI BibTeX RDF
1	R. Sai Anand, Thomas Erlebach	Routing and Call Control Algorithms for Ring Networks.	WADS	2003	DBLP DOI BibTeX RDF
1	Mattias Andersson 0002, Joachim Gudmundsson, Christos Levcopoulos	Chips on Wafers.	WADS	2003	DBLP DOI BibTeX RDF
1	Oswin Aichholzer, Günter Rote, Bettina Speckmann, Ileana Streinu	The Zigzag Path of a Pseudo-Triangulation.	WADS	2003	DBLP DOI BibTeX RDF
1	Vinhthuy T. Phan, Steven Skiena, Pavel Sumazin	A Model for Analyzing Black-Box Optimization.	WADS	2003	DBLP DOI BibTeX RDF
1	David Eppstein	The Traveling Salesman Problem for Cubic Graphs.	WADS	2003	DBLP DOI BibTeX RDF
1	Qingmin Shi, Joseph F. JáJá	Fast Algorithms for a Class of Temporal Range Queries.	WADS	2003	DBLP DOI BibTeX RDF
1	Michael R. Fellows	New Directions and New Challenges in Algorithm Design and Complexity, Parameterized.	WADS	2003	DBLP DOI BibTeX RDF
1	Sándor P. Fekete, Henk Meijer	The One-Round Voronoi Game Replayed.	WADS	2003	DBLP DOI BibTeX RDF
1	Csaba D. Tóth	Alternating Paths along Orthogonal Segments.	WADS	2003	DBLP DOI BibTeX RDF
1	Micha Sharir, Shakhar Smorodinsky	Extremal Configurations and Levels in Pseudoline Arrangements.	WADS	2003	DBLP DOI BibTeX RDF
1	Tamal K. Dey, Joachim Giesen, Samrat Goswami	Shape Segmentation and Matching with Flow Discretization.	WADS	2003	DBLP DOI BibTeX RDF
1	Sudipta Sengupta	Algorithms and Approximation Schemes for Minimum Lateness/Tardiness Scheduling with Rejection.	WADS	2003	DBLP DOI BibTeX RDF
1	Dorothea Wagner	Algorithms and Models for Railway Optimization.	WADS	2003	DBLP DOI BibTeX RDF

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