Search results for "dependable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Songkuk Kim, Daji Qiao, Sharath Kodase, Kang G. Shin	Design and Evaluation of Routing Schemes for Dependable Real-Time Connections.	DSN	2001	DBLP DOI BibTeX RDF	Dependable real-time (DR-) connection, dependable real-time protocol (DRTP), primary and backup channels, backup multiplexing, bounded flooding, link-state routing
90	Hong Mei 0001, Gang Huang 0001, Wei-Tek Tsai	Towards Self-Healing Systems via Dependable Architecture and.	WORDS	2005	DBLP DOI BibTeX RDF
67	Yasumasa Hayashi, Takashi Matsubara 0002, Yoshiaki Koga	Implementation and evaluation for dependable bus control using CPLD.	PRDC	2000	DBLP DOI BibTeX RDF	phase control, dependable bus control, bus systems, dependable bus operations, bus phase control, reliability, dependability, sequential circuits, system buses, CPLD, asynchronous sequential logic, asynchronous sequential circuit
66	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
66	Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj	Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.	WORDS	2005	DBLP DOI BibTeX RDF	dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns
62	Guofei Gu, Prahlad Fogla, Wenke Lee, Douglas M. Blough	DSO: Dependable Signing Overlay.	ACNS	2006	DBLP DOI BibTeX RDF	P2P overlay, digital signing service, fault-tolerance, dependable, intrusion-tolerance
57	Koji Tomita, Kazunori Fujiwara, Hiroshi Kawasaki, Naoki Miwa, Satoru Nagai	The Schemes to Develop Dependable System Using COTS.	PRDC	2008	DBLP DOI BibTeX RDF
57	Bhavani Thuraisingham	Dependable Infrastructures and Data Managers for Sensor Networks.	WORDS Fall	2003	DBLP DOI BibTeX RDF
57	Jeffrey S. Chase, Amin Vahdat, John Wilkes	Back to the future: dependable computing = dependable services.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
57	Isaac Levendel	HASE in Wireless Systems.	HASE	1999	DBLP DOI BibTeX RDF
55	Les J. C. Woolliscroft, K. H. Yearby, H. St. C. Alleyne, Jon A. Thompson, C. M. Dunford	On the design and implementation of a dependable space instrument.	PDP	1995	DBLP DOI BibTeX RDF	dependable space instrument, Digital Wave Processor, DWP, ESA/NASA Cluster satellites, fault-tolerant behaviour, design, parallel processing, fault tolerant computing, implementation, special purpose computers, aerospace computing, dependable distributed system
54	Nikolaos G. Bartzoudis, Klaus D. McDonald-Maier	Online monitoring of FPGA-based co-processing engines embedded in dependable workstations.	IOLTS	2007	DBLP DOI BibTeX RDF	FPGAs, error detection, dependable systems, online monitoring
54	G. Ranjith, C. Siva Ram Murthy	An Efficient Resource Sharing Scheme for Dependable Real-Time Communication in Multihop Networks.	HiPC	2002	DBLP DOI BibTeX RDF	Dependable connection, primary channel, backup channel, primary-backup multiplexing, RSVP
54	Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr	Building Dependable Distributed Applications Using AQUA.	HASE	1999	DBLP DOI BibTeX RDF	adaptive fault-tolerant systems, CORBA, replication protocols, Dependable distributed systems
54	Rogério de Lemos	Novel Approaches in Dependable Computing.	EDCC	2002	DBLP DOI BibTeX RDF
54	Marcio S. Dias, Debra J. Richardson	The Role of Event Description in Architecting Dependable Systems.	WADS	2002	DBLP DOI BibTeX RDF
50	Jean-Charles Fabre, Manuel Rodríguez 0001, Jean Arlat, J.-M. Sizun	Building dependable COTS microkernel-based systems using MAFALDA.	PRDC	2000	DBLP DOI BibTeX RDF	dependable COTS, microkernel-based systems, MAFALDA, COTS microkernels, error confinement wrappers, fault injection, software fault tolerance, operating system kernels
49	Michael Rogers, Saleem Bhatti	A Lightweight Mechanism for Dependable Communication in Untrusted Networks.	DSN	2007	DBLP DOI BibTeX RDF
49	Avelino F. Zorzo, Ingrid Jansch-Pôrto, Fabíola Gonçalves Pereira Greve	Third Workshop on Theses and Dissertations on Dependable Computing.	LADC	2005	DBLP DOI BibTeX RDF
49	Jennifer Ren, Rick Buskens, Oscar J. Gonzalez	Dependable Initialization of Large-Scale Distributed Software.	DSN	2004	DBLP DOI BibTeX RDF
49	Avelino F. Zorzo, Francisco V. Brasileiro, Ingrid Jansch-Pôrto	Second Workshop on Theses and Dissertations in Dependable Computing.	LADC	2003	DBLP DOI BibTeX RDF
49	Jong Kim 0001, Kang G. Shin	Performance Evaluation of Dependable Real-Time Communication with Elastic QoS.	DSN	2001	DBLP DOI BibTeX RDF	Elastic Quality-of-Service (QoS), fault-tolerant real-time communication, Markov model
46	Vana Kalogeraki, Dimitrios Gunopulos, Ravi S. Sandhu, Bhavani Thuraisingham	QoS Aware Dependable Distributed Stream Processing.	ISORC	2008	DBLP DOI BibTeX RDF	QoS, Dependable, Distributed Stream Processing
46	Qiang Huang, Xiaofeng Liang, Yingying Zhu 0001	Evaluation of Dependable Embedded System.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Vehicle model, Evaluation, Embedded systems, Dependable, Driver model
46	Demissie B. Aredo, Olaf Owe	Model-Based Verification in the Development of Dependable Systems.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Model-based Verification, Model-checking, UML, Formal Methods, PVS, Dependable System
46	Gurusamy Mohan, C. Siva Ram Murthy, Arun K. Somani	Efficient algorithms for routing dependable connections in WDM optical networks.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	Dependable connection, wavelength division multiplexing, link failure, lightpath
46	Yaroslav Domaratsky, Maxim Perevozchikov, Alexander Ingulets, Alexander Alkhovik	Back-End Software for Highly Dependable Real-Time Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	highly dependable, TTOS, FTCom, TTP, fault-tolerant, real-time, TDMA, automotive, RTOS, safety critical, Time-triggered, FlexRay, OS
46	Purnendu Sinha, Neeraj Suri	On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.	RTSS	1999	DBLP DOI BibTeX RDF	Dependable Real-time Protocols, Scheduling, Formal Techniques
46	Philip Heidelberger, Perwez Shahabuddin, Victor F. Nicola	Bounded Relative Error in Estimating Transient Measures of Highly Dependable Non-Markovian Systems.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	highly-dependable systems, non-Markovian systems, transient measures, uniformization-based simulation, importance sampling, variance reduction
46	Sheldon X. Liang, Joseph Puett, Luqi	Quantifiable Software Architecture for Dependable Systems of Systems.	WADS	2003	DBLP DOI BibTeX RDF
46	Katia Barbosa Saikoski, Geoff Coulson	Supporting Dependable Distributed Applications Through a Component-Oriented Middleware-Based Group Service.	WADS	2003	DBLP DOI BibTeX RDF
46	Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos	A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers.	WADS	2003	DBLP DOI BibTeX RDF
46	Apostolos V. Zarras, Christos Kloukinas, Valérie Issarny	Quality Analysis of Dependable Systems: A Developer Oriented Approach.	WADS	2002	DBLP DOI BibTeX RDF
46	Andrzej Krasniewski	Design of Dependable Hardware: What BIST is most Efficient?	EDCC	1996	DBLP DOI BibTeX RDF
45	António Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo	A framework for dependable QoS adaptation in probabilistic environments.	SAC	2008	DBLP DOI BibTeX RDF	probabilistic QoS, dependability, QoS adaptation
45	Michael Short 0001	Development guidelines for dependable real-time embedded systems.	AICCSA	2008	DBLP DOI BibTeX RDF
45	Vyacheslav S. Kharchenko, Vladimir V. Sklyar, Andriy V. Volkoviy	Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
41	Jean Arlat, Cristian Constantinescu, Ravishankar K. Iyer, Michael Nicolaidis	Second workshop on dependable and secure nanocomputing.	DSN	2008	DBLP DOI BibTeX RDF
41	Christian Buckl, Alois C. Knoll, Gerhard Schrott	Development of Dependable Real-Time Systems with Zerberus.	PRDC	2005	DBLP DOI BibTeX RDF
41	Bjarne E. Helvik, Hein Meling, Alberto Montresor	An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System.	EDCC	2005	DBLP DOI BibTeX RDF
41	Ivica Crnkovic, Magnus Larsson, Otto Preiss	Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes.	WADS	2004	DBLP DOI BibTeX RDF
41	Markus Debusmann, Kurt Geihs	Towards Dependable Web Services.	PRDC	2004	DBLP DOI BibTeX RDF
41	Elias Procópio Duarte Jr., Luis Carlos Erpen De Bona	A Dependable SNMP-based Tool for Distributed Network Management.	DSN	2002	DBLP DOI BibTeX RDF
41	Bhavani Thuraisingham, Eric Hughes, Dock Allen	Dependable Semantic Web.	WORDS	2002	DBLP DOI BibTeX RDF
41	Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Lévy	Dependability in the Web Services Architecture.	WADS	2002	DBLP DOI BibTeX RDF
38	Benjamin Satzger, Andreas Pietzowski, Wolfgang Trumler, Theo Ungerer	A new adaptive accrual failure detector for dependable distributed systems.	SAC	2007	DBLP DOI BibTeX RDF	accrual, fault-tolerance, distributed systems, algorithm, histogram, asynchronous systems, self-healing, failure detection, probability distribution, dependable systems, heartbeat
38	Pedro Martins, Paulo Sousa 0001, António Casimiro, Paulo Veríssimo	A New Programming Model for Dependable Adaptive Real-Time Applications.	IEEE Distributed Syst. Online	2005	DBLP DOI BibTeX RDF	partial synchrony models, dependable adaptation, real-time systems, mobile computing
38	Ivan Tanev, Takashi Uozumi, Dauren F. Akhmetov	Component Object Based Single System Image for Dependable Implementation of Genetic Programming on Clusters.	Clust. Comput.	2004	DBLP DOI BibTeX RDF	dependable cluster computing, genetic programming, single system image, DCOM
38	P. Krishna Gummadi, Jnana Pradeep Madhavarapu, C. Siva Ram Murthy	An efficient primary-segmented backup scheme for dependable real-time communication in multihop networks.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	backup channel, backup multiplexing, dependable connection, primary channel, resource reservation protocol (RSVP), segmented backup, quality-of-service (QoS), real-time communication, multihop network
38	Hyung-Taek Lim, Seung-Min Yang	A framework to model dependable real-time systems based on real-time object model.	RTCSA	2000	DBLP DOI BibTeX RDF	dependable real-time systems, real-time object model, fault-tolerant real-time systems, RobustRTO, robust real-time objects, RMO, region monitor real-time objects, object regions, abnormal behavior detection, system reconfiguration, real-time systems, embedded systems, fault tolerant computing, reconfigurable architectures, object-oriented methods, system recovery, system recovery, system monitoring, recovery blocks, N-version programming
38	Christof Fetzer	Enforcing synchronous system properties on top of timed systems.	PRDC	2000	DBLP DOI BibTeX RDF	synchronous system properties, synchronous system model, missed deadline, performance evaluation, performance, computational complexity, complexity, protocols, protocols, fault tolerant computing, timed systems, omission failures, dependable distributed system
38	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
38	Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl	Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems.	EDCC	2005	DBLP DOI BibTeX RDF
38	Ilir Gashi, Peter T. Popov, Vladimir Stankovic 0002, Lorenzo Strigini	On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers.	WADS	2003	DBLP DOI BibTeX RDF
38	Goran Mustapic, Johan Andersson, Christer Norström, Anders Wall	A Dependable Open Platform for Industrial Robotics - A Case Study.	WADS	2003	DBLP DOI BibTeX RDF
38	Ernst Schmitter	Dependable Computing and its Industrial Use.	EDCC	1994	DBLP DOI BibTeX RDF
37	Axel van Lamsweerde	Risk-driven Engineering of Requirements for Dependable Systems.	Engineering Dependable Software Systems	2013	DBLP DOI BibTeX RDF
37	Roy A. Maxion	Making Experiments Dependable.	Dependable and Historic Computing	2011	DBLP DOI BibTeX RDF
37	Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock	09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.	Refinement Based Methods for the Construction of Dependable Systems	2009	DBLP BibTeX RDF
37	Michaela Huhn, Hardi Hungar, Doron A. Peled	07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.	Tools for the Model-based Development of Certifiable, Dependable Systems	2007	DBLP BibTeX RDF
37	Michaela Huhn, Hardi Hungar, Doron A. Peled	07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.	Tools for the Model-based Development of Certifiable, Dependable Systems	2007	DBLP BibTeX RDF
37	Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo	Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF
37	Hidehiro Fujiwara, Shunsuke Okumura, Yusuke Iguchi, Hiroki Noguchi, Hiroshi Kawaguchi 0001, Masahiko Yoshimoto	A 7T/14T Dependable SRAM and its Array Structure to Avoid Half Selection.	VLSI Design	2009	DBLP DOI BibTeX RDF
37	Hidehiro Fujiwara, Shunsuke Okumura, Yusuke Iguchi, Hiroki Noguchi, Yasuhiro Morita, Hiroshi Kawaguchi 0001, Masahiko Yoshimoto	Quality of a Bit (QoB): A New Concept in Dependable SRAM.	ISQED	2008	DBLP DOI BibTeX RDF	Quality of a bit, SRAM
37	Armin Beer, Matthias Heindl	Issues in Testing Dependable Event-Based Systems at a Systems Integration Company.	ARES	2007	DBLP DOI BibTeX RDF
37	Alexei Iliasov	Refinement patterns for rapid development of dependable systems.	EFTS	2007	DBLP DOI BibTeX RDF
37	Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao 0001	Making Web Services Dependable.	ARES	2006	DBLP DOI BibTeX RDF
37	Gregg Rothermel	Helping End-User Programmers "Engineer' Dependable Software.	QSIC	2006	DBLP DOI BibTeX RDF
37	Ambuj Goyal	Delivering Dependability: A Moving Target.	DSN	2006	DBLP DOI BibTeX RDF
37	Christof Fetzer, Trevor Jim	Dependable Distributed Computing Using Free Databases.	ISAS	2005	DBLP DOI BibTeX RDF
37	Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad	Improving AI Systems? Dependability by Utilizing Historical Knowledge.	PRDC	2004	DBLP DOI BibTeX RDF
37	Rogério de Lemos	Describing Evolving Dependable Systems Using Co-Operative Software Architectures.	ICSM	2001	DBLP DOI BibTeX RDF	software architecture, dependability, evolution, exception handling, timed automata
34	Carlo Marchetti, Roberto Baldoni, Sara Tucci Piergiovanni, Antonino Virgillito	Fully Distributed Three-Tier Active Software Replication.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	software replication in wide-area networks, architectures for dependable services, replication protocols, Dependable distributed systems
33	Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart	Dependability Engineering of Complex Computing Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	dependability engineering, complex computing systems, development model, system creation process, classical development steps, dependability processes, fault prevention, fault forecasting, supporting processes, system creation activity, fault tolerance, software reliability, certification, quality assurance, dependable systems, checklist, fault removal
33	Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller	Development of a Decentralized Virtual Service Redirector for Internet Applications.	FTDCS	1999	DBLP DOI BibTeX RDF	dependable computing, modeling, distributed system, verification, firewall
33	Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2008).	DSN	2008	DBLP DOI BibTeX RDF
33	Haruhiko Kaneko, Takuya Matsuzaka, Eiji Fujiwara	Three-Level Error Control Coding for Dependable Solid-State Drives.	PRDC	2008	DBLP DOI BibTeX RDF
33	Hakem Beitollahi, Geert Deconinck	Dependable Overlay Networks.	PRDC	2008	DBLP DOI BibTeX RDF
33	Teruaki Sakata, Teppei Hirotsu, Hiromichi Yamada, Takeshi Kataoka	A Cost-Effective Dependable Microcontroller Architecture with Instruction-Level Rollback for Soft Error Recovery.	DSN	2007	DBLP DOI BibTeX RDF
33	Paul D. Ezhilchelvan, Michel Raynal, Ajoy Kumar Datta	Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007).	DSN	2007	DBLP DOI BibTeX RDF
33	Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek	Workshop on Architecting Dependable Systems (WADS 2007).	DSN	2007	DBLP DOI BibTeX RDF
33	Takeshi Mishima, Hiroshi Nakamura	A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control.	PRDC	2007	DBLP DOI BibTeX RDF	black box method, concurrency, dependability, consistency, database server
33	Toshinori Sato, Toshimasa Funaki	Power-Performance Trade-Off of a Dependable Multicore Processor.	PRDC	2007	DBLP DOI BibTeX RDF
33	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky	Workshop on Architecting Dependable Systems (WADS).	DSN	2006	DBLP DOI BibTeX RDF
33	Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders	Designing dependable storage solutions for shared application environments.	DSN	2006	DBLP DOI BibTeX RDF
33	Chunqiang Tang, Rong N. Chang, Christopher Ward	GoCast: Gossip-Enhanced Overlay Multicast for Fast and Dependable Group Communication.	DSN	2005	DBLP DOI BibTeX RDF
33	Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll 0001, Elizabeth Latronico, Philip Koopman	Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.	DSN	2005	DBLP DOI BibTeX RDF
33	Herman Augusto Lepikson, Leandro Buss Becker	Latin-American Workshop on Dependable Automation Systems.	LADC	2005	DBLP DOI BibTeX RDF
33	Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin	Towards a Dependable Component Technology for Embedded System Applications.	WORDS	2005	DBLP DOI BibTeX RDF
33	Miklós Molnár, Alexandre Guitton, Bernard Cousin, Raymond A. Marie	Efficient Protection of Many-to-One Communications.	EDCC	2005	DBLP DOI BibTeX RDF	many-to-one, cold protection, multi-tree algorithm, network, fault-tolerant routing
33	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
33	Marcio S. Dias, Debra J. Richardson	Adaptable Analysis of Dependable System Architectures Through Monitoring.	WADS	2004	DBLP DOI BibTeX RDF
33	Yung-Ruei Chang, Hung-Yau Lin, Sy-Yen Kuo	Reliability Evaluation of Dependable Distributed Computing Systems Based on Recursive Merge and BDD.	PRDC	2004	DBLP DOI BibTeX RDF
33	Olivia Das, C. Murray Woodside	Dependable LQNS: A Performability Modeling Tool for Layered Systems.	DSN	2003	DBLP DOI BibTeX RDF
33	Zeng Fancong	Deadlock Resolution via Exceptions for Dependable Java Applications.	DSN	2003	DBLP DOI BibTeX RDF
33	Gérard Le Lann	Asynchrony and Real-Time Dependable Computing.	WORDS	2003	DBLP DOI BibTeX RDF
33	Olivia Das, C. Murray Woodside	Dependability Modeling of Self-healing Client-Server Applications.	WADS	2003	DBLP DOI BibTeX RDF
33	Matthias Tichy, Holger Giese	A Self-optimizing Run-Time Architecture for Configurable Dependability of Services.	WADS	2003	DBLP DOI BibTeX RDF
33	Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater	Distributed Object Middleware to Support Dependable Information Sharing between Organisations.	DSN	2002	DBLP DOI BibTeX RDF
33	Andreas Gal, Olaf Spinczyk, Wolfgang Schröder-Preikschat	On Aspect-Orientation in Distributed Real-time Dependable Systems.	WORDS	2002	DBLP DOI BibTeX RDF