Search results for "complex distributed systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Alvin S. Lim	Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems.	ICECCS	1995	DBLP DOI BibTeX RDF	automatic analytical tools, complex distributed systems, runtime facilities, complex application behavior, reliability, formal specification, distributed processing, software tools, software reliability, software fault tolerance, reachability analysis, liveness, reachability, dynamic adaptation, failure recovery, development environment, behavior specification, group behavior
2	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
2	Mahadev Satyanarayanan, David C. Steere, Masashi Kudo, Hank Mashburn	Transparent logging as a technique for debugging complex distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
1	Jules White, Brian Dougherty, Richard E. Schantz, Douglas C. Schmidt, Adam A. Porter, Angelo Corsaro	R&D challenges and solutions for highly complex distributed systems: a middleware perspective.	J. Internet Services and Applications	2012	DBLP DOI BibTeX RDF
1	Marco Autili, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli	Developing highly complex distributed systems: a software engineering perspective.	J. Internet Services and Applications	2012	DBLP DOI BibTeX RDF
1	Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas	Interoperability in Complex Distributed Systems.	SFM	2011	DBLP DOI BibTeX RDF
1	Gordon S. Blair, Amel Bennaceur, Nikolaos Georgantas, Paul Grace, Valérie Issarny, Vatsala Nundloll, Massimo Paolucci	The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems.	Middleware	2011	DBLP DOI BibTeX RDF
1	Gregor Pavlin, Michiel Kamermans, Mihnea Scafes	Dynamic Process Integration Framework: Toward Efficient Information Processing in Complex Distributed Systems.	Informatica (Slovenia)	2010	DBLP BibTeX RDF
1	Zibin Zheng, Michael R. Lyu	Collaborative reliability prediction of service-oriented systems.	ICSE	2010	DBLP DOI BibTeX RDF	reliability composition, user-collaboration, web service, reliability prediction
1	Gregor Pavlin, Michiel Kamermans, Mihnea Scafes	Dynamic Process Integration Framework: Toward Efficient Information Processing in Complex Distributed Systems.	IDC	2009	DBLP DOI BibTeX RDF
1	eva Kühn, Vesna Sesum-Cavic	A Space-Based Generic Pattern for Self-Initiative Load Balancing Agents.	ESAW	2009	DBLP DOI BibTeX RDF	complex distributed systems, Load balancing, self-organization, autonomous agents, intelligent algorithms, coordination patterns
1	Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips, Banani Roy	Fiia: user-centered development of adaptive groupware systems.	EICS	2009	DBLP DOI BibTeX RDF	groupware architecture, groupware development toolkit
1	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
1	Mirko Viroli, Matteo Casadei	Biochemical Tuple Spaces for Self-organising Coordination.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Tania Di Mascio, Anna Perini, Luca Sabatucci, Angelo Susi	Building and Browsing Tropos Models: The AVI Design.	HCI	2009	DBLP DOI BibTeX RDF
1	Marek Grzegorz Stochel, Radek Sztando	Testing Optimization for Mission-Critical, Complex, Distributed Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	six sigma, public safety, testing optimization, mission critical, DMAIC
1	Mark Kuhr, J. A. Drew Hamilton Jr.	Building executable service-oriented architectures with the WS-Management specification.	SpringSim	2008	DBLP DOI BibTeX RDF	network architecture management, web services, software architecture
1	Haimonti Dutta, Hillol Kargupta	Distributed Linear Programming and Resource Management for Data Mining in Distributed Environments.	ICDM Workshops	2008	DBLP DOI BibTeX RDF
1	Jay S. Bayne	Cyberspatial Mechanics.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2008	DBLP DOI BibTeX RDF
1	Cu D. Nguyen, Anna Perini, Paolo Tonella	Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems.	AOSE	2008	DBLP DOI BibTeX RDF
1	Jan Sudeikat, Wolfgang Renz	A Systemic Approach to the Validation of Self-Organizing Dynamics within MAS.	AOSE	2008	DBLP DOI BibTeX RDF
1	Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi	High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith	Automated Testing of Planning Models.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Tawfig Abdelaziz, Mohamed Elammari, Cherif Branki	MASD: Towards a Comprehensive Multi-agent System Development Methodology.	OTM Workshops	2008	DBLP DOI BibTeX RDF
1	Amir Herzberg, Igal Yoffe	The Layered Games Framework for Specifications and Analysis of Security Protocols.	TCC	2008	DBLP DOI BibTeX RDF
1	Vítor Estêvão Silva Souza, Ricardo de Almeida Falbo	FrameWeb: a framework-based design method for web engineering.	EATIS	2007	DBLP DOI BibTeX RDF	frameworks, web engineering, design method, UML profile, web information system
1	Justin M. Wozniak	Overdrive Controllers for Distributed Scientific Computation.	CCGRID	2007	DBLP DOI BibTeX RDF
1	Marco Di Natale	Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions.	DAC	2007	DBLP DOI BibTeX RDF
1	Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Michail Maniadakis, Manolis Hourdakis, Panos E. Trahanias	Modeling Overlapping Execution/Observation Brain Pathways.	IJCNN	2007	DBLP DOI BibTeX RDF
1	Franck Cappello	Towards an International Computer Science Grid.	WETICE	2007	DBLP DOI BibTeX RDF
1	Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon	Test Synthesis from UML Models of Distributed Software.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Formal methods, testing tools, object-oriented design methods
1	Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi	Tool-Supported Development with Tropos: The Conference Management System Case Study.	AOSE	2007	DBLP DOI BibTeX RDF
1	Duy Cu Nguyen, Anna Perini, Paolo Tonella	A Goal-Oriented Software Testing Methodology.	AOSE	2007	DBLP DOI BibTeX RDF
1	Moez Mnif, Urban Richter, Jürgen Branke, Hartmut Schmeck, Christian Müller-Schloer	Measurement and Control of Self-organised Behaviour in Robot Swarms.	ARCS	2007	DBLP DOI BibTeX RDF	observer/controller architecture, multi-agent systems, emergence, Organic Computing
1	Carlos Canal, Juan Manuel Murillo, Pascal Poizat	Practical Approaches for Software Adaptation.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
1	Lars-Åke Fredlund, Juan José Sánchez Penas	Model Checking a Video-on-Demand Server Using McErlang.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Bogumil Zieba	Overview of the Reliability Aspects in the Publish/Subscribe Middleware.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Giuliano Laccetti, Giovanni Schmid	A PMI-Aware Extension for the SSH Service.	PPAM	2007	DBLP DOI BibTeX RDF	Authentication, Access control, Authorization, Grid security
1	Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini	Runtime Verification of Interactions: From MSCs to Aspects.	RV	2007	DBLP DOI BibTeX RDF
1	Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg	New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.	ACSD	2006	DBLP DOI BibTeX RDF
1	Ivonne Erfurth	Customer-oriented Development of Complex Distributed Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	Qun Yang, Xianchun Yang, Manwu Xu	A mobile agent approach to dynamic architecture-based software adaptation.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	architectural reflection, architecture meta-model, dynamic software adaptation, mobile agents, architectural style, dynamic software architecture
1	Matthew Smith, Thomas Friese, Bernd Freisleben	Model Driven Development of Service-Oriented Grid Applications.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
1	Steffen Kollmann, Karsten Albers, Frank Bodmann, Frank Slomka	Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	William A. Ruh	A Model for a Semantic Enabled Network.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
1	Jovan Cakic, Richard F. Paige	Origins of the Grid Architectural Style.	ICECCS	2006	DBLP DOI BibTeX RDF
1	Wolfhard Lawrence	Standard Module Conformance Testing.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
1	Jürgen Branke, Moez Mnif, Christian Müller-Schloer, Holger Prothmann, Urban Richter, Fabian Rochner, Hartmut Schmeck	Organic Computing - Addressing Complexity by Controlled Self-Organization.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Maxime Monod, Jörg Kienzle, Alexander Romanovsky	Looking Ahead in Open Multithreaded Transactions.	ISORC	2006	DBLP DOI BibTeX RDF
1	Chetan Shiva Shankar, Roy H. Campbell	Managing Pervasive Systems using Role-based Obligation Policies.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
1	Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones	A Compositional Event & Time-Based Policy Model.	POLICY	2006	DBLP DOI BibTeX RDF
1	Henry Y. K. Lau, Vicky W. K. Wong	An Immunity-Based Distributed Multiagent-Control Framework.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2006	DBLP DOI BibTeX RDF
1	Axel Martens, Simon Moser	Diagnosing SCA Components Using Wombat.	Business Process Management	2006	DBLP DOI BibTeX RDF	Tool based Verification, SOA, Petri nets, Business Process Modeling, BPEL, Web service composition, State Machine
1	Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli	Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.	ECOOP Workshops	2006	DBLP DOI BibTeX RDF
1	Adel Torkaman Rahmani, Vahid Rafe, Saeed Sedighian, Amin Abbaspour	An MDA-Based Modeling and Design of Service Oriented Architecture.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Jérémy Dubus, Philippe Merle	Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky	Rigorous Development of Fault-Tolerant Agent Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Joseph Bugajski, Robert L. Grossman, Eric Sumner, Tao Zhang	A Methodology for Establishing Information Quality Baselines for Complex, Distributed Systems.	IQ	2005	DBLP BibTeX RDF
1	Derek Messie	Polymorphic self-* agents using game theory for large-scale complex systems.	AAMAS	2005	DBLP DOI BibTeX RDF	self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy
1	Joseph Bugajski, Robert L. Grossman, Eric Sumner, Zhao Tang	An event based framework for improving information quality that integrates baseline models, causal models and formal reference models.	IQIS	2005	DBLP DOI BibTeX RDF
1	Yang Qun, Yang Xian-Chun, Xu Man-Wu	A framework for dynamic software architecture-based self-healing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	architectural reflection, architecture meta-model, self-healing, architectural style, dynamic software architecture
1	Donald J. Berndt, Alison Watkins	High Volume Software Testing using Genetic Algorithms.	HICSS	2005	DBLP DOI BibTeX RDF
1	Kyungkoo Jun, Seokhoon Kang	Scalable and Fault Tolerant Multiple Tuple Space Architecture for Mobile Agent Communication.	APWeb	2005	DBLP DOI BibTeX RDF
1	John Marchesini, Sean W. Smith	Modeling Public Key Infrastructures in the Real World.	EuroPKI	2005	DBLP DOI BibTeX RDF
1	B. Nagaprabhanjan, Varsha Apte	A Tool for Automated Resource Consumption Profiling of Distributed Transactions.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Lei Wang 0023, Mingde Zhao, Zengwei Zheng, Zhaohui Wu	End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
1	Frank Eliassen, Richard Staehli, Gordon S. Blair, Jan Øyvind Aagedal	QuA: building with reusable QoS-aware components.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	adaptive reflective component middleware, MDA, separation of concerns, QoS management
1	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Adding the leads-to operator to Dijkstra's calculus.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition
1	Alison Watkins, Donald J. Berndt, Kris Aebischer, John W. Fisher, L. Johnson	Breeding Software Test Cases for Complex Systems.	HICSS	2004	DBLP DOI BibTeX RDF
1	Zahia Guessoum	Adaptive Agents and Multiagent Systems.	IEEE Distributed Systems Online	2004	DBLP DOI BibTeX RDF	agents, information systems, multiagent systems, organized structures
1	P. Dhavachelvan, G. V. Uma	Reliability Enhancement in Software Testing - An Agent-Based Approach for Complex Systems.	CIT	2004	DBLP DOI BibTeX RDF	Multi agent-based, Intra-class testing, Agent-based framework, Distributed frame work, Reliability enhancement, Integrated framework
1	Ana Casali, Lluis Godo, Carles Sierra	Graded BDI Models for Agent Architectures.	CLIMA	2004	DBLP DOI BibTeX RDF
1	Sven Burmester, Holger Giese, Matthias Tichy	Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML.	MDAFA	2004	DBLP DOI BibTeX RDF
1	Pascal Fenkam, Mehdi Jazayeri	Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study.	SEM	2004	DBLP DOI BibTeX RDF
1	Carlos José Pereira de Lucena, José Alberto R. P. Sardinha, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar, Donald D. Cowan	Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
1	Krzysztof Juszczyszyn	Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets.	WETICE	2003	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana	Teams of Pushdown Automata.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
1	Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi	A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.	WADS	2003	DBLP DOI BibTeX RDF
1	Michael Gillmann, Gerhard Weikum, Wolfgang Wonner	Workflow management with service quality guarantees.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
1	Jay S. Bayne	Automation and Control in Large-Scale Interactive Systems. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain	Incremental Fault-Tolerant Design in an Object-Oriented Setting.	APAQS	2001	DBLP DOI BibTeX RDF	formal methods refinement trace semantics, Fault-tolerance, object orientation, incremental design
1	Soufiane Noureddine, Axel Lehmann	Effective Values: An Approach for Characterizing Dependability Parameters.	ECBS	2001	DBLP DOI BibTeX RDF
1	Michael Hauf, Janek Schwarz, Andreas Polze	Role-based Security for Configurable Distributed Control Systems.	WORDS	2001	DBLP DOI BibTeX RDF	component configuration, aspect-description, security, XML, CORBA
1	Edmund H. Durfee	Scaling Up Agent Coordination Strategies.	IEEE Computer	2001	DBLP DOI BibTeX RDF
1	Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta	The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	publish/subscribe middleware, distributed systems, software architectures, workflow, object-orientation, business processes, Event-based systems
1	Sridhar Iyer, S. Ramesh	Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	object-oriented programming, static analysis, Concurrent programs, reachability analysis
1	Frank Köster, Stefan Schöf, Michael Sonnenschein, Ralf Wieting	Modeling of a Library with THORNs.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
1	Anna Liu, Paddy Nixon	Distributed Systems Testing - Introduction. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
1	Dan Gunter, Brian Tierney, Brian Crowley, Mason Holding, Jason Lee	NetLogger: A Toolkit for Distributed System Performance Analysis. (PDF / PS)	MASCOTS	2000	DBLP DOI BibTeX RDF
1	Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha	Integration of CORBA Services with a Dynamic Real-Time Architecture. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	Network middleware and APIs, Case study/experience report, System integration, Mission critical systems
1	Andreas Polze, Janek Schwarz, Miroslaw Malek	Automatic Generation of Fault-Tolerant CORBA-Services.	TOOLS	2000	DBLP DOI BibTeX RDF	Fault-Tolerance, Aspect-Oriented Programming, CORBA, Replication
1	Paola Inverardi, Henry Muccini	Coordination Models and Software Architectures in a Unified Software Development Process.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Michael Gillmann, Jeanine Weißenfels, Gerhard Weikum, Achim Kraiss	Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems.	EDBT	2000	DBLP DOI BibTeX RDF
1	Luca Cardelli	Wide Area Computation.	ICALP	1999	DBLP DOI BibTeX RDF
1	Ugo Montanari, Francesca Rossi	Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.	Applied Categorical Structures	1999	DBLP DOI BibTeX RDF	double categories, distributed systems, constraints, coordination, graph rewriting
1	Diane T. Rover, Abdul Waheed, Matt W. Mutka, Aleksandar M. Bakic	Software tools for complex distributed systems: toward integrated tool environments.	IEEE Concurrency	1998	DBLP DOI BibTeX RDF
1	Gianpaolo Cugola, Elisabetta Di Nitto, Alfonso Fuggetta	Exploiting an Event-Based Infrastructure to Develop Complex Distributed Systems.	ICSE	1998	DBLP DOI BibTeX RDF
1	Gul Agha	Linguistic Paradigms for Programming Complex Distributed Systems.	ACM Comput. Surv.	1996	DBLP DOI BibTeX RDF
1	Shing-Chi Cheung, Jeff Kramer	Context Constraints for Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	compositional techniques, context constraints, distributed systems, concurrency, static analysis, validation, reachability analysis, labeled transition systems, state space reduction