Search results for "reliable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Xueyi Wang, Jiajun Bu, Chun Chen 0001	Research on Reliable Communication in Real-Time Collaborative Designing Systems.	DCW	2002	DBLP DOI BibTeX RDF	real-time collaborative design, reliable communication architecture, Site-based Reliable Communication Protocol (SRCP), CSCW
51	Taosong He, Lichan Hong, Dongqing Chen, Zhengrong Liang	Reliable Path for Virtual Endoscopy: Ensuring Complete Examination of Human Organs.	IEEE Trans. Vis. Comput. Graph.	2001	DBLP DOI BibTeX RDF	Virtual endscopy, reliable path, reliable navigation, NP-complete, visibility, camera control
48	Yuan Gao, Ye Ge, Jennifer C. Hou	RMCM: Reliable Multicasts for Core-based Multicast Trees.	ICNP	2000	DBLP DOI BibTeX RDF	core-based multicast trees, RMCM, multicast applications, on-tree router, core-based tree, retransmission request, optimal recovery, turning point approach, IP options, group membership changes, repliers, delayed ACK approach, repair-based reliable multicast, NAK implosion control, recovery latency, recovery isolation, FreeBSD 2.2.8, Internet, Internet, transport protocols, packet switching, network topology, digital simulation, trees (mathematics), telecommunication network routing, multicast communication, reliable multicasts, event-driven simulation, topology changes, local recovery, data packets, hosts
42	Bhavani Shankar, Prasant Gopal, Kannan Srinathan, C. Pandu Rangan	Unconditionally reliable message transmission in directed networks.	SODA	2008	DBLP BibTeX RDF
39	Nipoon Malhotra, Shrish Ranjan, Saurabh Bagchi	LRRM: A Randomized Reliable Multicast Protocol for Optimizing Recovery Latency and Buffer Utilization.	SRDS	2005	DBLP DOI BibTeX RDF	Recovery latency, Tree-based multicast protocols, Reliable multicast, Randomized protocols, Buffer utilization
39	Öznur Özkasap, Zülküf Genç, Emre Atsan	Epidemic-based approaches for reliable multicast in mobile ad hoc networks.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF	adaptive, mobile ad hoc networks, reliable multicast, epidemic
39	Kulpreet Singh, Andronikos Nedos, Gregor Gärtner, Siobhán Clarke	Message Stability and Reliable Broadcasts in Mobile Ad-Hoc Networks.	ADHOC-NOW	2005	DBLP DOI BibTeX RDF	message stability, MANET, reliable broadcast
39	Yogesh Sankarasubramaniam, Özgür B. Akan, Ian F. Akyildiz	ESRT: event-to-sink reliable transport in wireless sensor networks.	MobiHoc	2003	DBLP DOI BibTeX RDF	event-to-sink reliability, wireless sensor networks, congestion control, energy conservation, reliable transport protocols
36	Ahmet Aris, Sema F. Oktug, Thiemo Voigt	Security of Internet of Things for a Reliable Internet of Services.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
36	Rob van der Mei, Hans van den Berg, Ivan Ganchev, Kurt Tutschku, Philipp Leitner 0001, Pasi E. Lassila, Wojciech Burakowski, Fidel Liberal, Åke Arvidsson, Tobias Hoßfeld, Katarzyna Wac, Hugh Melvin, Tihana Galinac Grbac, Yoram Haddad 0001, Peter B. Key	State of the Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
36	Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol	06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
36	Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol	06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
36	Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena	On attaining reliable software for a secure operating system.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	Victor A. Vyssotsky	Large-scale reliable software: Recent experience at bell labs.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	William A. Wulf	Reliable hardware-software architecture.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	Barry W. Boehm, Robert K. McClean, D. B. Urfrig	Some experience with automated aids to the design of large-scale reliable software.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	Donald J. Reifer	Automated aids fob reliable software.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	L. M. Culpepper	A system for reliable engineering software.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	John D. Gannon, James J. Horning	The impact of language design on the production of reliable software.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	Algirdas Avizienis	Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	R. D. Williams	Managing the development of reliable software.	Reliable Software	1975	DBLP DOI BibTeX RDF
36	Eva Dyllong	Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
36	Anis Charfi, Benjamin Schmeling, Mira Mezini	Reliable Messaging for BPEL Processes.	ICWS	2006	DBLP DOI BibTeX RDF
36	Feng Xie, Gang Feng 0004, Chee Kheong Siew	The impact of loss recovery on congestion control for reliable multicast.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	modelling, congestion control, reliable multicast, TCP-friendly, loss recovery
36	Özgür B. Akan, Ian F. Akyildiz	Event-to-sink reliable transport in wireless sensor networks.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	event-to-sink reliability, wireless sensor networks, congestion control, energy conservation, reliable transport protocols
36	Chieh-Yih Wan, Andrew T. Campbell, Lakshman Krishnamurthy	PSFQ: a reliable transport protocol for wireless sensor networks.	WSNA	2002	DBLP DOI BibTeX RDF	wireless sensor networks, reliable transport protocols
35	Pradip Bose	Designing reliable systems with unreliable components.	IEEE Micro	2006	DBLP DOI BibTeX RDF	reliable components, reliable systems
35	Pavlin Radoslavov, Christos Papadopoulos, Ramesh Govindan, Deborah Estrin	A comparison of application-level and router-assisted hierarchical schemes for reliable multicast.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	router-assist for reliable multicast, reliable multicast
35	Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Mary Gray Baker	RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	RELACS, reliable applications, large geographic distances, reliability requirements, communication subsystem, distributed processing, programming, programming, wide area networks, software fault tolerance, software portability, asynchrony, microkernel, reliable computing, communications infrastructure, large-scale distributed systems
35	Daniel Bauer 0001, Burkhard Stiller, Bernhard Plattner	An Error-Control Scheme for a Multicast Protocol Based on Round-Trip Time Calculations.	LCN	1996	DBLP DOI BibTeX RDF	error-control scheme, multicast transport protocol, round-trip time calculations, isochronous data, reliable control messages, multicast signalling, reliable multicast data transmission protocols, high stability, local area networks, transport protocols, ATM networks, wide area networks, WAN, LAN, metropolitan area networks, distributed multimedia applications, simulation data, MAN
33	Sebastian Kempken, Wolfram Luther	Verified Methods in Stochastic Traffic Modelling.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
33	George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith 0001	Interval Subroutine Library Mission.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
32	Neil Yorke-Smith, Carmen Gervet	Certainty closure: Reliable constraint reasoning with incomplete or erroneous data.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Incomplete and erroneous data, reliable solutions, uncertain constraint satisfaction problem, closure
32	Paolo Casari, Albert F. Harris III	Energy-efficient reliable broadcast in underwater acoustic networks.	Underwater Networks	2007	DBLP DOI BibTeX RDF	bandwidth-distance relationship, underwater sensor networks, reliable broadcast, acoustic communications
32	Wei-Sheng Si, Cheng-Zhi Li	RMAC: A Reliable MAC Protocol Supporting Multicast for Wireless Ad Hoc Networks.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	wireless ad hoc network, medium access control, reliable multicast, busy tone
32	Amos Beimel, Lior Malka	Efficient reliable communication over partially authenticated networks.	Distributed Comput.	2005	DBLP DOI BibTeX RDF	Incomplete networks, Fault tolerance, Authentication, Reliable communication
32	Lakshminarayanan Subramanian, Randy H. Katz, Volker Roth 0002, Scott Shenker, Ion Stoica	Reliable broadcast in unknown fixed-identity networks.	PODC	2005	DBLP DOI BibTeX RDF	unknown network, byzantine agreement, reliable broadcast
32	Moufida Maimour, CongDuc Pham	DyRAM: An Active Reliable Multicast Framework for Data Distribution.	Clust. Comput.	2004	DBLP DOI BibTeX RDF	simulation, implementation, analysis, active networks, reliable multicast
32	Ovidiu Daescu, Raja Jothi, Balaji Raghavachari, Kamil Saraç	Optimal placement of NAK-suppressing agents for reliable multicast: a partial deployment case.	SAC	2004	DBLP DOI BibTeX RDF	NAK-suppression, feedback implosion, graph theory, system design, reliable multicast
32	Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith	A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks.	DSN	2000	DBLP DOI BibTeX RDF	many-to-many, reliable, multicast, ATM, group communication
31	A. Siafa	Flexible multicast protocol.	ICCCN	1997	DBLP DOI BibTeX RDF	flexible multicast protocol, SRM algorithm, reliable multipoint communication, SRM repair/request policies, recovery treatments, failure occurence, multicast applications, multicast transport protocols, formal specification, transport protocols, service selection, reliable multicast, Estelle, application level
30	Romain Boichat, Rachid Guerraoui	Reliable Broadcast in the Crash-Recovery Model.	SRDS	2000	DBLP DOI BibTeX RDF
29	Valeria Cardellini, Tihana Galinac Grbac, Andreas Kassler, Pradeeban Kathiravelu, Francesco Lo Presti, Antonio Marotta, Matteo Nardelli 0001, Luís Veiga	Integrating SDN and NFV with QoS-Aware Service Composition.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Raimund Schatz, Susanna Schwarzmann, Thomas Zinner, Ognjen Dobrijevic, Eirini Liotou, Peter Pocta, Sabina Barakovic, Jasmina Barakovic Husic, Lea Skorin-Kapov	QoE Management for Future Networks.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Eirini Liotou, Tobias Hoßfeld, Christian Moldovan, Florian Metzger, Dimitris Tsolkas, Nikos I. Passas	The Value of Context-Awareness in Bandwidth-Challenging HTTP Adaptive Streaming Scenarios.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Wojciech Burakowski, Andrzej Beben, Hans van den Berg, Joost W. Bosman, Gerhard Hasslinger, Attila Kertész, Steven Latré, Rob van der Mei, Tamas Pflanzner, Patrick Gwydion Poullie, Maciej Sosnowski, Bart Spinnewyn, Burkhard Stiller	Traffic Management for Cloud Federation.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Eneko Atxutegi, Åke Arvidsson, Fidel Liberal, Karl-Johan Grinnemo, Anna Brunström	TCP Performance over Current Cellular Access: A Comprehensive Analysis.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Zhi Li 0040, Hugh Melvin, Rasa Bruzgiene, Peter Pocta, Lea Skorin-Kapov, Andrej Zgank	Lag Compensation for First-Person Shooter Games in Cloud Gaming.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	András Márkus, Andre Marques, Gabor Kecskemeti, Attila Kertész	Efficient Simulation of IoT Cloud Use Cases.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Stoyan Poryazov, Emiliya Saranova, Ivan Ganchev	Scalable Traffic Quality and System Efficiency Indicators Towards Overall Telecommunication System's QoE Management.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Florian Metzger, Tobias Hoßfeld, Lea Skorin-Kapov, Yoram Haddad 0001, Eirini Liotou, Peter Pocta, Hugh Melvin, Vasilios A. Siris, Andrej Zgank, Michael Jarschel	Context Monitoring for Improved System Performance and QoE.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Valeria Cardellini, Tihana Galinac Grbac, Matteo Nardelli 0001, Nikola Tankovic, Hong Linh Truong 0001	QoS-Based Elasticity for Service Chains in Distributed Edge Cloud Environments.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Bego Blanco, Fidel Liberal, Pasi E. Lassila, Samuli Aalto, Javier Sainz, Marco Gribaudo, Barbara Pernici	Energy vs. QoX Network- and Cloud Services Management.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Stoyan Poryazov, Emiliya Saranova, Ivan Ganchev	Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems.	Autonomous Control for a Reliable Internet of Services	2018	DBLP DOI BibTeX RDF
29	Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.)	Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther	Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Vincent Lefèvre, Damien Stehlé, Paul Zimmermann	Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou	Robustness and Randomness.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas	Real Algebraic Numbers: Complexity Analysis and Experimentation.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Chee-Keng Yap	Theory of Real Computation According to EGC.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Branimir Lambov	Interval Arithmetic Using SSE-2.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Vadim Shapiro	Homotopy Conditions for Tolerant Geometric Queries.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Neil F. Stewart, Malika Zidani	Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Lance Edward Miller, Edward L. F. Moore, Thomas J. Peters, Alexander Russell	Topological Neighborhoods for Spline Curves: Practice & Theory.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
29	Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.)	Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Sylvain Pion, Hervé Brönnimann, Guillaume Melquiond	A Proposal to add Interval Arithmetic to the C++ Standard Library.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith 0001	Interval Subroutine Library Mission.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Branimir Lambov	Interval Arithmetic Using SSE-2.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Thomas J. Peters, Edward L. F. Moore	Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Neil F. Stewart, Malika Zidani	Transfinite interpolation for well-definition in error analysis in solid modelling.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Vincent Lefèvre, Damien Stehlé, Paul Zimmermann	Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou	Robustness and Randomness.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, Nicola Wolpert	A Descartes Algorithms for Polynomials with Bit-Stream Coefficients.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	Margarita V. Korovina, Nicolai N. Vorobjov Jr.	Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems.	Reliable Implementation of Real Number Algorithms	2006	DBLP BibTeX RDF
29	David B. Wortman (eds.)	Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	David B. Lomet	Process Structuring, Synchronization, and Recovery Using Atomic Actions.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Robert G. Herriot	Towards the Ideal Programming Language.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Allen L. Ambler	GYPSY: A Language for Specification and Implementation of Verifiable Programs.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Patrick Cousot, Radhia Cousot	Static Determination of Dynamic Properties of Generalized Type Unions.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Daniel P. Friedman, David S. Wise	Aspects of Applicative Programming for File Systems (Preliminary Version).	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London	Notes on the Design of Euclid.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	M. Donald MacLaren	Exception Handling in PL/I.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Allen L. Ambler, Charles G. Hoch	A Study of Protection in Programming Languages.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Charles N. Fischer, Richard J. LeBlanc	Efficient Implementation and Optimization of Run-Time Checking in Pascal.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Normand Buckle	Restricted Data Types, Specification and Enforcement of Invariant Properties of Variables.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Tom Love	An Experimental Investigation of the Effect of Program Structure on Program Understanding.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	P. M. Melliar-Smith, Brian Randell	Software Reliability: The Role of Programmed Exception Handling.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	John V. Guttag, Ellis Horowitz, David R. Musser	Some Extensions to Algebraic Specifications.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Gregory R. Andrews, James R. McGraw	Language Features for Process Interaction.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
29	Martin L. Shooman, Raymond T. Yeh (eds.)	Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Martin L. Shooman, M. I. Bolsky	Types, distribution, and test and correction times for programming errors.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Ashok K. Trivedi, Martin L. Shooman	A many-state Markov model for the estimation and prediction of computer software performance parameters.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Frank DeRemer, Hans H. Kron	Programming-in-the large versus programming-in-the-small.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Frederick P. Brooks Jr.	The Mythical Man-Month.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Hermann Kopetz	On the connections between range of variable and control structure testing.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Ashok R. Saxena, Thomas H. Bredt	A structured specification of a hierarchical operating system.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Robert S. Boyer, Bernard Elspas, Karl N. Levitt	SELECT - a formal system for testing and debugging programs by symbolic execution.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Charles M. Geschke, James G. Mitchell	On the problem of uniform references to data structures.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	John R. Brown, Myron Lipow	Testing for software reliability.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Laurian M. Chirica, David F. Martin	An approach to compiler correctness.	Reliable Software	1975	DBLP DOI BibTeX RDF