Search results for "distributed systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Rachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper	Consensus in Asynchronous Distributed Systems: A Concise Guided Tour.	Advances in Distributed Systems	1999	DBLP BibTeX RDF	Crash/no Recovery, Crash/Recovery, Consensus, Asynchronous Distributed Systems, Atomic Broadcast, Atomic Commitment
5	Dieter Haban, Dieter Wybranietz, Amnon Barak	Monitoring and Management-Support of Distributed Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF	Distributed systems, user interface, load balancing, measuring, management, events, multicomputer, distributed operating system, real-time monitoring, graphical display
4	Andrew Berns	A comparison of CORBA and ada's distributed systems annex.	SIGAda	2005	DBLP DOI BibTeX RDF	distributed computing, CORBA, distributed systems annex
4	Jean Bacon	IEEE Distributed Systems Online: Looking to the Future. (PDF / PS)	IEEE Internet Computing	2004	DBLP DOI BibTeX RDF	IEEE Distributed Systems Online, online publication, distributed systems
4	Naohiro Hayashibara, Adel Cherif, Takuya Katayama	Failure Detectors for Large-Scale Distributed Systems. (PDF / PS)	SRDS	2002	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, Grid computing, failure detection, Grid system
4	Hanan Lutfiyya, Gary Molenkamp, Michael Katchabaw, Michael A. Bauer	Issues in Managing Soft QoS Requirements in Distributed Systems Using a Policy-Based Framework.	POLICY	2001	DBLP BibTeX RDF	Distributed Systems, Policies, QoS Requirements
4	Paul Dourish, Daniel C. Swinehart, Marvin Theimer	The Doctor Is In: Helping End Users Understand the Health of Distributed Systems.	DSOM	2000	DBLP BibTeX RDF	visualization, Distributed systems, management, diagnostics
4	Özalp Babaoglu, Renzo Davoli, Alberto Montresor	Group Communication in Partitionable Distributed Systems.	Advances in Distributed Systems	1999	DBLP BibTeX RDF
4	Mark C. Little, Santosh K. Shrivastava	Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects.	Advances in Distributed Systems	1999	DBLP BibTeX RDF	fault-tolerance, distributed systems, replication, group communication, persistent objects, atomic transactions
4	Hiroaki Higaki, Makoto Takizawa	Group communication protocol for flexible distributed systems.	ICNP	1996	DBLP DOI BibTeX RDF	flexible distributed systems, system environments, dynamic upgrading method, protocol error detection, checkpoint-rollback algorithm, distributed processing, computer networks, distributed programs, message transmission, process groups, large-scale distributed systems, group communication protocol
4	Lung-Hsiung Wang, Jan-Min Chen	Synchronization model for multimedia communication and presentation in distributed systems. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	time dependent media, distributed systems, Petri nets, Petri nets, synchronization, distributed processing, multimedia communication, multimedia communication, synchronisation, multimedia computing, multimedia presentations, media streams
4	H. Kigaki, M. Takizawa	Group communication approach for flexible distributed systems. (PDF / PS)	ISPAN	1996	DBLP DOI BibTeX RDF	flexible distributed systems, updating application software, multiple processes, protocol errors, distributed systems, parallel programming, protocol, groupware, distributed processing, checkpointing, rollback recovery, timeout, message transmission, process group
4	Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer	Enforcing management policies in distributed systems. (PDF / PS)	FTDCS	1995	DBLP DOI BibTeX RDF	management policies, formally definable management policies, platform independent management architecture, clerical management tasks, object-oriented class structure, rule execution, automated management tool invocation, automated policy management, object-oriented programming, resource allocation, open systems, processor scheduling, operating systems (computers), network operating systems, computer network management, production rules, open distributed systems, distributed systems management, middleware platforms
4	David Holden, Alwyn Langsford	MANDIS: Management of Distributed Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
4	Chris Horn	Is Object Orientation a Good Thing for Distributed Systems?.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
4	Bengt Jonsson	On Decomposing and Refining Specifications of Distributed Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF	Fair Transition System, Distributed Systems, Verification, Specification, Refinement, Fairness, Completeness, Compositionality
4	Danco Davcev	A Dynamic Voting Scheme in Distributed Systems. (PDF / PS)	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	dynamic voting scheme, recovery control, site failures, distributed systems, distributed systems, data integrity, consistency, distributed databases, system recovery, network partitions, replicated files
3	Chunqiang Tang	DSF: A Common Platform for Distributed Systems Research and Development.	Middleware	2009	DBLP DOI BibTeX RDF	mutable replay, massive multi-tenancy, chaotic timing test, simulation, distributed systems, debugging
3	Joel Wein, Kirill Kourtchikov, Yan Cheng, Ron Gutierez, Roman Khmelichek, Matthew Topol, Chris Sherman	Virtualized games for teaching about distributed systems.	SIGCSE	2009	DBLP DOI BibTeX RDF	distributed systems, gaming, curricula
3	Jeannie R. Albrecht	Bringing big systems to small schools: distributed systems for undergraduates.	SIGCSE	2009	DBLP DOI BibTeX RDF	distributed systems, undergraduate education, planetlab
3	Jing Xu, Ming Zhao 0002, José A. B. Fortes	Cooperative Autonomic Management in Dynamic Distributed Systems.	SSS	2009	DBLP DOI BibTeX RDF
3	Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry Li	Model Checking Coalition Nash Equilibria in MAD Distributed Systems.	SSS	2009	DBLP DOI BibTeX RDF
3	Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak	Opis: reliable distributed systems in OCaml.	TLDI	2009	DBLP DOI BibTeX RDF	distributed systems, model checking, functional programming, arrows
3	Michael Hilker, Katja Luther	Artificial Cell Communication in Distributed Systems.	AINA	2008	DBLP DOI BibTeX RDF	Biologically-Inspired Systems, Distributed Systems, Multi-Agent Systems, Network Security, Artificial Immune Systems, Communication Protocols
3	Judith Winter	Routing of structured queries in large-scale distributed systems.	LSDS-IR	2008	DBLP DOI BibTeX RDF	information retrieval, p2p, peer-to-peer, XML-retrieval, distributed search, query routing, XML information retrieval
3	Changyu Dong, Giovanni Russello, Naranker Dulay	Flexible Resolution of Authorisation Conflicts in Distributed Systems.	DSOM	2008	DBLP DOI BibTeX RDF
3	Alexandru Iosup, Omer Ozan Sonmez, Shanny Anoep, Dick H. J. Epema	The performance of bags-of-tasks in large-scale distributed systems.	HPDC	2008	DBLP DOI BibTeX RDF	bags-of-tasks, batches of jobs, multi-cluster systems, scheduling, performance evaluation, prediction, workload modeling, trace-based simulation, large-scale distributed systems
3	Anne-Cécile Orgerie, Laurent Lefèvre, Jean-Patrick Gelas	Save Watts in Your Grid: Green Strategies for Energy-Aware Framework in Large Scale Distributed Systems.	ICPADS	2008	DBLP DOI BibTeX RDF
3	Rudolf Schreiner, Ulrich Lang	Protection of complex distributed systems.	Middleware Security	2008	DBLP DOI BibTeX RDF	service oriented architecture, distributed systems security, model driven security
3	Cristina L. Abad	Learning through creating learning objects: experiences with a class project in a distributed systems course.	ITiCSE	2008	DBLP DOI BibTeX RDF	distributed systems, pedagogy, learning object, curriculum issues, undergraduate research, capstone, course project
3	Guofei Jiang, Haifeng Chen, Kenji Yoshihira	Profiling services for resource optimization and capacity planning in distributed systems.	Cluster Computing	2008	DBLP DOI BibTeX RDF	System invariants, Distributed systems, Algorithms, System management, Capacity planning, Resource optimization
3	Xiaorui Wang, Ming Chen, Huang-Ming Huang, Venkita Subramonian, Chenyang Lu, Christopher D. Gill	Control-Based Adaptive Middleware for Real-Time Image Transmission over Bandwidth-Constrained Networks.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF	Distributed systems, Distributed systems, Distributed Systems, Real-time and embedded systems, Real-time systems and embedded systems
3	David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez	New Bisimulation Semantics for Distributed Systems.	FORTE	2007	DBLP DOI BibTeX RDF
3	Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin	Testing Distributed Systems Through Symbolic Model Checking.	FORTE	2007	DBLP DOI BibTeX RDF	global property, model checking of traces, trace checking, testing, asynchronous distributed systems
3	Jiannong Cao, Miaomiao Wang, Weigang Wu, Xianbing Wang, Stephen C. F. Chan	A Generic Distributed Monitor Construct for Programming Process Synchronization in Distributed Systems.	ISPA	2007	DBLP DOI BibTeX RDF	Distributed monitor construct, Distributed systems, Distributed mutual exclusion, Process synchronization
3	Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat	Mace: language support for building distributed systems.	PLDI	2007	DBLP DOI BibTeX RDF	Mace, distributed systems, model checking, concurrency, debugging, domain specific languages, event driven programming
3	Andreas Haeberlen, Petr Kouznetsov, Peter Druschel	PeerReview: practical accountability for distributed systems.	SOSP	2007	DBLP DOI BibTeX RDF	distributed systems, fault detection, accountability, byzantine faults
3	Marcos Kawazoe Aguilera, Arif Merchant, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis	Sinfonia: a new paradigm for building scalable distributed systems.	SOSP	2007	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, scalability, transactions, shared memory, two-phase commit
3	Makoto Yoshida, Kenji Sakamoto	Code migration control in large scale loosely coupled distributed systems.	Mobility Conference	2007	DBLP DOI BibTeX RDF	simulation, distributed systems, code migration
3	Huaizhi Li, Mukesh Singhal	Trust Management in Distributed Systems.	IEEE Computer	2007	DBLP DOI BibTeX RDF	Distributed systems, network security, Trust management
3	Kirk W. Cameron, Rong Ge, Xian-He Sun	lognP and log3P: Accurate Analytical Models of Point-to-Point Communication in Distributed Systems.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Distributed systems, middleware, performance modeling and prediction
3	Guofei Jiang, Haifeng Chen, Kenji Yoshihira	Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Data mining, Distributed Systems, Time series analysis, System Management, Analysis of Algorithms and Problem Complexity, Algorithms for data and knowledge management
3	Odorico Machado Mendizabal, Fernando Luís Dotti	Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.	ICGT	2006	DBLP DOI BibTeX RDF	Object-based graph grammars, non-functional analysis, fault-tolerance, distributed systems, dependability
3	Adnan Agbaria, Dong-In Kang, Karandeep Singh	LMPI: MPI for Heterogeneous Embedded Distributed Systems.	ICPADS	2006	DBLP DOI BibTeX RDF
3	Vahid Garousi, Lionel C. Briand, Yvan Labiche	Traffic-aware stress testing of distributed systems based on UML models.	ICSE	2006	DBLP DOI BibTeX RDF	distributed systems, UML, model-based testing, network traffic, stress testing
3	Kevin Kane, James C. Browne	On classifying access control implementations for distributed systems.	SACMAT	2006	DBLP DOI BibTeX RDF	classification, distributed systems, access control, analysis, taxonomies
3	Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf	Simulation-based test adequacy criteria for distributed systems.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	fault-based analysis, distributed systems, discrete-event simulation, test adequacy criteria
3	Nigamanth Sridhar	Decentralized Local Failure Detection in Dynamic Distributed Systems.	SRDS	2006	DBLP DOI BibTeX RDF
3	Jiannong Cao, Jingyang Zhou, Weiwei Zhu, Xuhui Li	Mobile agent-enabled framework for structuring and building distributed systems on the internet.	Science in China Series F: Information Sciences	2006	DBLP DOI BibTeX RDF	distributed systems, mobile agent, deadlock detection, internet computing
3	Marc Shapiro	Distributed Wisdom: What's Wrong with Us?	IEEE Distributed Systems Online	2006	DBLP DOI BibTeX RDF	distributed systems research
3	Márk Jelasity, Özalp Babaoglu, Robert Laddaga, Radhika Nagpal, Franco Zambonelli, Emin Gün Sirer, Hakima Chaouchi, Mikhail I. Smirnov	Interdisciplinary Research: Roles for Self-Organization.	IEEE Intelligent Systems	2006	DBLP DOI BibTeX RDF	adaptive structures, distributed systems, distributed systems, adaptation, resource management, reconfiguration, self-organization, automation, research, self-management, autonomic communication, self-adaptive systems, resource optimization, amorphous computing
3	Nacer Farajzadeh, Mehdi Hashemzadeh, Morteza Mousakhani, Abolfazl Toroghi Haghighat	An Efficient Generalized Deadlock Detection and Resolution Algorithm in Distributed Systems.	CIT	2005	DBLP DOI BibTeX RDF	deadlock detection and resolution, wait-for-graph, Distributed systems, algorithm
3	Michael G. Hinchey, James L. Rash, Christopher Rouff	Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.	ICPADS	2005	DBLP DOI BibTeX RDF
3	Daniel Pakkala, Aki Koivukoski, Juhani Latvakoski	MidGate: Middleware Platform for Service Gateway Based Distributed Systems.	ICPADS	2005	DBLP DOI BibTeX RDF
3	Fernando Luís Dotti, Odorico Machado Mendizabal, Osmar Marchi dos Santos	Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars.	LADC	2005	DBLP DOI BibTeX RDF	Object-based graph grammars, fault-tolerance, distributed systems, model checking, model transformation
3	Brahim Hamid, Mohamed Mosbah	A Formal Model for Fault-Tolerance in Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems
3	Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting	Automatic Model-Driven Recovery in Distributed Systems.	SRDS	2005	DBLP DOI BibTeX RDF
3	Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen	Backward Inference in Bayesian Networks for Distributed Systems Management.	J. Network Syst. Manage.	2005	DBLP DOI BibTeX RDF	backward inference, Bayesian networks, uncertainty, Distributed systems management
3	Sudipta Rakshit, Ratan K. Guha	Fair Bandwidth Sharing in Distributed Systems: A Game-Theoretic Approach.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	fair bandwidth share, selfish users, Distributed systems, game theory, local area networks
3	Klaus Herrmann, Gero Mühl, Kurt Geihs	Self-Management: The Solution to Complexity or Just Another Problem?	IEEE Distributed Systems Online	2005	DBLP DOI BibTeX RDF	distributed systems, autonomic computing, network management, self-management
3	Jiangyun Xu, Weichang Du	Software Brokers for Quality of Services in Service-Oriented Distributed Systems. (PDF / PS)	CNSR	2004	DBLP DOI BibTeX RDF	quality of services, Distributed systems, Software services
3	Raul Silaghi, Alfred Strohmeier	An MDA-Based Approach for Inferring Concurrency in Distributed Systems.	FIDJI	2004	DBLP DOI BibTeX RDF	Distributed Systems, Concurrency, Model-Driven Architecture, MDA, Model Transformations, UML Profiles, Enterprise Fondue
3	Hasina Abdu, S. Nawaz, Bruce S. Elenbogen	A Framework to Support Adaptation Decisions for Dynamic Distributed Systems.	ICPADS	2004	DBLP DOI BibTeX RDF	QoS, optimization, mobile agents, reconfiguration
3	Patrice Laurençot, Sébastien Salva	Testing Mobile and Distributed Systems: Method and Experimentation.	OPODIS	2004	DBLP DOI BibTeX RDF
3	Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo	How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. (PDF / PS)	SRDS	2004	DBLP DOI BibTeX RDF
3	Steven Willmott	On Distributed Systems and Social Engineering.	IEEE Distributed Systems Online	2004	DBLP DOI BibTeX RDF	software by contract, agents, multiagent systems, policies, contracts, norms
3	Teofilo F. Gonzalez	Efficient Resource Utilization in Parallel and Distributed Systems.	The Journal of Supercomputing	2004	DBLP DOI BibTeX RDF	efficient communication, automatic parallelization, failure recovery, parallel and distributed systems, cache strategies
3	Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit Parreaux	Formal Composition of Distributed Scenarios.	FORTE	2004	DBLP DOI BibTeX RDF	Scenario-based approach, Scenario composition, Distributed systems, Formal specification, Use case, FSM
3	Ahmed M. Mohamed, Lester Lipsky, Reda A. Ammar	ABSTRACT: Many Applications of Mobile Ad Hoc.	ICPADS	2004	DBLP DOI BibTeX RDF	Distributed Systems, Performance Modeling, Queueing Networks, Transient Analysis
3	Thibault Bernard, Alain Bui, Olivier Flauzac	Random Distributed Self-stabilizing Structures Maintenance.	ISSADS	2004	DBLP DOI BibTeX RDF	distributed systems, self-stabilization, random walks
3	Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain	Snap-Stabilizing Depth-First Search on Arbitrary Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	fault-tolerance, Distributed systems, stabilization, depth-first search
3	Eul-Gyu Im, B. Clifford Neuman	A Flexible Framework for Replication in Distributed Systems. (PDF / PS)	COMPSAC	2003	DBLP DOI BibTeX RDF	replication mechanisms, Prospero, multi-level replication, distributed systems
3	Nirmit Desai, Frank Mueller	A Log(n) Multi-Mode Locking Protocol for Distributed Systems. (PDF / PS)	IPDPS	2003	DBLP DOI BibTeX RDF	hierarchical locking, clusters, Distributed systems, middleware, mutual exclusion
3	Daniel M. Zimmerman	A UNITY-Based Formalism for Dynamic Distributed Systems. (PDF / PS)	IPDPS	2003	DBLP DOI BibTeX RDF	dynamic distributed systems, program composition, formal methods, UNITY
3	Maarten van Steen	Towards Very Large, Self-Managing Distributed Systems: Extended Abstract.	OPODIS	2003	DBLP DOI BibTeX RDF
3	Marcos Kawazoe Aguilera, Jeffrey C. Mogul, Janet L. Wiener, Patrick Reynolds, Athicha Muthitacharoen	Performance debugging for distributed systems of black boxes.	SOSP	2003	DBLP DOI BibTeX RDF	black box systems, distributed systems, performance analysis, performance debugging
3	Michela Taufer, Thomas Stricker	A Performance Monitor Based on Virtual Global Time for Clusters of PCs.	CLUSTER	2003	DBLP DOI BibTeX RDF	real-time performance analysis and evaluation, monitoring traffic, notion of time in distributed systems, clusters of PCs, performance metrics, Parallel and distributed systems
3	Luca Daniel, Joel R. Phillips	Model order reduction for strictly passive and causal distributed systems.	DAC	2002	DBLP DOI BibTeX RDF	passive reduced order modeling, distributed systems
3	Victor Budau, Guy Bernard	Synchronous/Asynchronous Switch for a Dynamic Choice of Communication Model in Distributed Systems. (PDF / PS)	ICPADS	2002	DBLP DOI BibTeX RDF
3	Jorge L. V. Barbosa, Adenauer C. Yamin, Iara Augustin, Patrícia Kayser Vargas, Cláudio F. R. Geyer	Holoparadigm: a Multiparadigm Model Oriented to Development of Distributed Systems. (PDF / PS)	ICPADS	2002	DBLP DOI BibTeX RDF
3	Liviu Miclea, Szilárd Enyedi, Alfredo Benso	Itelligent Agents and BIST/BISR - Working Together in Distributed Systems. (PDF / PS)	ITC	2002	DBLP DOI BibTeX RDF	distributed systems BIST, distributed BISR, Intelligent agent, self-repair, embedded testing, high-level testing
3	Bernadette Charron-Bost, Xavier Défago, André Schiper	Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently. (PDF / PS)	SRDS	2002	DBLP DOI BibTeX RDF
3	Hiroko Ishii, Hirotsugu Kakugawa	A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems. (PDF / PS)	SRDS	2002	DBLP DOI BibTeX RDF
3	Robert Miller, Anand R. Tripathi	The Guardian Model for Exception Handling in Distributed Systems. (PDF / PS)	SRDS	2002	DBLP DOI BibTeX RDF
3	Tamir Hegazy, Binoy Ravindran	Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. (PDF / PS)	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Asynchronous real-time distributed systems, proactive resource allocation, best-effort resource allocation, best-effort real-time scheduling, benefit functions, switched real-time Ethernet, distributed real-time systems, adaptive resource allocation
3	Jian Chen, Valerie E. Taylor	Mesh Partitioning for Efficient Use of Distributed Systems. (PDF / PS)	IEEE Trans. Parallel Distrib. Syst.	2002	DBLP DOI BibTeX RDF	distributed systems, simulated annealing, Mesh partitioning
3	Henrikas Pranevicius	The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.	ADBIS	2001	DBLP BibTeX RDF	aggregate approach, logistics centre, simulation, Distributed systems, formal specification, validation, Z specification language
3	Debra L. Smarkusky, Reda A. Ammar, Howard A. Sholl	A Framework for Designing Performance-Oriented Distributed Systems. (PDF / PS)	ISCC	2001	DBLP DOI BibTeX RDF	hierarchical performance modeling, distributed systems, unified modeling language, software design, Software performance engineering
3	Johan Moe, David A. Carr	Understanding Distributed Systems via Execution Trace Data. (PDF / PS)	IWPC	2001	DBLP DOI BibTeX RDF	execution visualization, distributed systems, CORBA, Tracing
3	Zhiling Lan, Valerie E. Taylor, Greg Bryan	Dynamic load balancing of SAMR applications on distributed systems.	SC	2001	DBLP DOI BibTeX RDF	dynamic network loads, distributed systems, heterogeneity, dynamic load balancing, adaptive mesh refinement
3	Nikolay A. Anisimov, E. A. Golenkov, D. I. Kharitonov	Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF	Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
3	Felix Bübl	Towards Designing Distributed Systems with ConDIL.	EDO	2000	DBLP BibTeX RDF	Designing Distributed Systems, Resource Management, Design Rationale, System Evolution
3	Dirk Thißen, Helmut Neukirchen	Managing Services in Distributed Systems by Integrating Trading and Load Balancing. (PDF / PS)	ISCC	2000	DBLP DOI BibTeX RDF	Distributed Systems, Load Balancing, Service Quality, Trading
3	Laurent Pautet, Samuel Tardieu	GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems. (PDF / PS)	ISORC	2000	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, Ada
3	Israel Ben-Shaul, Hovav Gazit, Ophir Holder, Boris Lavva	Dynamic Self Adaptation in Distributed Systems.	IWSAS	2000	DBLP BibTeX RDF	Self adaptive components, Engineering Distributed Systems, Java, Reflection, Dynamic adaptability, Mobile Objects
3	M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman	Comprehensive Specification of Distributed Systems Using I5 and IOA. (PDF / PS)	SCCC	2000	DBLP DOI BibTeX RDF	distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
3	Scott D. Stoller	Leader Election in Asynchronous Distributed Systems. (PDF / PS)	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Leader election, asynchronous distributed systems, crash failures, group membership
3	Roland Wismüller, Thomas Ludwig 0002	Interoperable Run-Time Tools for Distributed Systems--A Case Study.	The Journal of Supercomputing	2000	DBLP DOI BibTeX RDF	Run-time tools, behavioral integration, distributed systems, interoperability, coordination, on-line monitoring, plug-in architecture
3	Prasad Jogalekar, C. Murray Woodside	Evaluating the Scalability of Distributed Systems. (PDF / PS)	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	scalability metric, layered queuing, distributed systems, Scalability, replication, performance model, performance optimization, software performance
3	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems. (PDF / PS)	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping