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 DOI 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.	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.	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 DOI 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 DOI 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 DOI 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 DOI 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, synchronisation, multimedia communication, multimedia communication, multimedia computing, multimedia presentations, media streams
4	H. Kigaki, M. Takizawa	Group communication approach for flexible distributed systems.	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.	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	Danco Davcev	A Dynamic Voting Scheme in Distributed Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	dynamic voting scheme, recovery control, site failures, distributed systems, distributed systems, data integrity, distributed databases, consistency, system recovery, network partitions, replicated files
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, Fairness, Refinement, Completeness, Compositionality
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	David Holden, Alwyn Langsford	MANDIS: Management of Distributed Systems.	Process in Distributed Operating Systems and Distributed Systems Management	1989	DBLP DOI BibTeX RDF
3	Vahid Garousi	Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems.	Software and System Modeling	2010	DBLP DOI BibTeX RDF	Behavioral dependency analysis, Message weights, Distributed systems, UML, Metrics, Dependability, Model-driven development
3	Kaushik Rajan, Sriram K. Rajamani, Shashank Yaduvanshi	GUESSTIMATE: a programming model for collaborative distributed systems.	PLDI	2010	DBLP DOI BibTeX RDF	distributed systems, concurrency, collaborative applications, language extensions
3	Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel	Run-time conformance checking of mobile and distributed systems using executable models.	PADTAD	2009	DBLP DOI BibTeX RDF	distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets
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	Liu Jingyong, Zhong Yong, Chen Yong, Zhang Lichen	Middleware-based distributed systems software process.	ICHIT	2009	DBLP DOI BibTeX RDF	distributed systems, middleware, software process
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	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	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	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 C. Li	Model Checking Coalition Nash Equilibria in MAD Distributed Systems.	SSS	2009	DBLP DOI BibTeX RDF
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	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	batches of jobs, multi-cluster systems, scheduling, performance evaluation, prediction, workload modeling, trace-based simulation, large-scale distributed systems, bags-of-tasks
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	Changyu Dong, Giovanni Russello, Naranker Dulay	Flexible Resolution of Authorisation Conflicts in Distributed Systems.	DSOM	2008	DBLP DOI BibTeX RDF
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	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	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	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	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	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	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	Huaizhi Li, Mukesh Singhal	Trust Management in Distributed Systems.	IEEE Computer	2007	DBLP DOI BibTeX RDF	Distributed systems, network security, Trust management
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	David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez	New Bisimulation Semantics for Distributed Systems.	FORTE	2007	DBLP DOI BibTeX RDF
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	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	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	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	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	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, internet computing, deadlock detection
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	Nigamanth Sridhar	Decentralized Local Failure Detection in Dynamic Distributed Systems.	SRDS	2006	DBLP DOI BibTeX RDF
3	Adnan Agbaria, Dong-In Kang, Karandeep Singh	LMPI: MPI for Heterogeneous Embedded Distributed Systems.	ICPADS	2006	DBLP DOI BibTeX RDF
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	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	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	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	distributed systems, distributed systems, adaptation, resource management, reconfiguration, self-organization, automation, research, self-management, autonomic communication, self-adaptive systems, resource optimization, amorphous computing, adaptive structures
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	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	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	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	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	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	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	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	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	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	Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo	How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems.	SRDS	2004	DBLP DOI BibTeX RDF
3	Patrice Laurençot, Sébastien Salva	Testing Mobile and Distributed Systems: Method and Experimentation.	OPODIS	2004	DBLP DOI BibTeX RDF
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	Jiangyun Xu, Weichang Du	Software Brokers for Quality of Services in Service-Oriented Distributed Systems.	CNSR	2004	DBLP DOI BibTeX RDF	quality of services, Distributed systems, Software services
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	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	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	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	Nirmit Desai, Frank Mueller	A Log(n) Multi-Mode Locking Protocol for Distributed Systems.	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.	IPDPS	2003	DBLP DOI BibTeX RDF	dynamic distributed systems, program composition, formal methods, UNITY
3	Eul-Gyu Im, B. Clifford Neuman	A Flexible Framework for Replication in Distributed Systems.	COMPSAC	2003	DBLP DOI BibTeX RDF	replication mechanisms, Prospero, multi-level replication, distributed systems
3	Maarten van Steen	Towards Very Large, Self-Managing Distributed Systems: Extended Abstract.	OPODIS	2003	DBLP DOI BibTeX RDF
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	Jian Chen, Valerie E. Taylor	Mesh Partitioning for Efficient Use of Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	2002	DBLP DOI BibTeX RDF	distributed systems, simulated annealing, Mesh partitioning
3	Tamir Hegazy, Binoy Ravindran	Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems.	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	Liviu Miclea, Szilárd Enyedi, Alfredo Benso	Itelligent Agents and BIST/BISR - Working Together in Distributed Systems.	ITC	2002	DBLP DOI BibTeX RDF	distributed systems BIST, distributed BISR, Intelligent agent, self-repair, embedded testing, high-level testing
3	Hiroko Ishii, Hirotsugu Kakugawa	A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems.	SRDS	2002	DBLP DOI BibTeX RDF
3	Robert Miller 0002, Anand R. Tripathi	The Guardian Model for Exception Handling in Distributed Systems.	SRDS	2002	DBLP DOI BibTeX RDF
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.	SRDS	2002	DBLP DOI BibTeX RDF
3	Victor Budau, Guy Bernard	Synchronous/Asynchronous Switch for a Dynamic Choice of Communication Model in Distributed Systems.	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.	ICPADS	2002	DBLP DOI BibTeX RDF
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	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	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	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	Debra L. Smarkusky, Reda A. Ammar, Howard A. Sholl	A Framework for Designing Performance-Oriented Distributed Systems.	ISCC	2001	DBLP DOI BibTeX RDF	hierarchical performance modeling, distributed systems, unified modeling language, software design, Software performance engineering
3	Henrikas Pranevicius	The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.	ADBIS	2001	DBLP DOI BibTeX RDF	aggregate approach, logistics centre, simulation, Distributed systems, formal specification, validation, Z specification language
3	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping
3	Prasad Jogalekar, C. Murray Woodside	Evaluating the Scalability of Distributed Systems.	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	Scott D. Stoller	Leader Election in Asynchronous Distributed Systems.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Leader election, asynchronous distributed systems, group membership, crash failures
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	Israel Ben-Shaul, Hovav Gazit, Ophir Holder, Boris Lavva	Dynamic Self Adaptation in Distributed Systems.	IWSAS	2000	DBLP DOI BibTeX RDF	Self adaptive components, Engineering Distributed Systems, Java, Reflection, Dynamic adaptability, Mobile Objects