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 |
|