Search results for "PDSE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ichiro Satoh	A Formalism for Hierarchical Mobile Agents.	PDSE	2000	DBLP DOI BibTeX RDF	verification, mobile agents, specification, formal model, bisimulation, process calculus
1	Desmond Chambers, Gerard Lyons, Jim Duggan	Design of a Virtual Store Using Distributed Object Technology.	PDSE	2000	DBLP DOI BibTeX RDF	Multimedia, E-Commerce, CORBA, Event Service
1	Domenico Cotroneo, Luigi Romano, Stefano Russo 0001, Nicola Mazzocca	A CORBA-Based Architecture for Adding Dependability to Legacy Servers.	PDSE	2000	DBLP DOI BibTeX RDF
1	Markus Aleksy, Axel Korthaus	A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming.	PDSE	2000	DBLP DOI BibTeX RDF	Master-Slave, parallel processing, CORBA, group communication
1	Sotirios Terzis, Paddy Nixon	Component Location and the Role of Trading in Large Scale Distributed Systems.	PDSE	2000	DBLP DOI BibTeX RDF	component trading, component software
1	Karen Renaud	HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback.	PDSE	2000	DBLP DOI BibTeX RDF
1	Peter H. Welch, Jeremy M. R. Martin	A CSP Model for Java Multithreading.	PDSE	2000	DBLP DOI BibTeX RDF	race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock
1	Fethi A. Rabhi, Helen Cai, Brian C. Tompsett	A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments.	PDSE	2000	DBLP DOI BibTeX RDF	Virtual Environments, Patterns, Programming Environments, Skeletons, Distributed Programming, Automatic Code Generation
1	Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, Paulo R. F. Cunha	Specifying and Verifying Reconfigurable Software Architectures.	PDSE	2000	DBLP DOI BibTeX RDF	reconfigurable software architecture, software architecture, formal specification, dynamic software architecture
1		International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000	PDSE	2000	DBLP BibTeX RDF
1	P. Manjula Rani, A. Vijay Srinivas, D. Janaki Ram	Scalability Issues in CORBA.	PDSE	2000	DBLP DOI BibTeX RDF	Scalability, CORBA, IR, Object Migration, Message Filters, POA
1	Tertius D. Wessels, Judy M. Bishop	Applying Distributed Object Technology to Network Planning.	PDSE	2000	DBLP DOI BibTeX RDF
1	Mads Haahr, René Meier, Paddy Nixon, Vinny Cahill, Eric Jul	Filtering and Scalability in the ECO Distributed Event Model.	PDSE	2000	DBLP DOI BibTeX RDF
1	David Mentré, Daniel Le Métayer, Thierry Priol	Formalization and Verification of Coherence Protocols with the Gamma Framework.	PDSE	2000	DBLP DOI BibTeX RDF
1	Mauro César Bernardes, Edson dos Santos Moreira	Implementation of an Intrusion Detection System Based on Mobile Agents.	PDSE	2000	DBLP DOI BibTeX RDF
1	Zahir Tari, Vivek Pande	Dynamic Workflow Management in CORBA Distributed Object Systems.	PDSE	2000	DBLP DOI BibTeX RDF
1	Holger Giese, Guido Wirtz	Early Evaluation of Design Options for Distributed Systems.	PDSE	2000	DBLP DOI BibTeX RDF	performance, distributed systems, UML, object-orientation, behavior modeling, design techniques
1	Navin Gupta, Eileen T. Kraemer, Delbert Hart, Maria Chinwala, David W. Miller	Exploratory Visualization of Distributed Computations: A Case Study.	PDSE	2000	DBLP DOI BibTeX RDF
1	Gordon S. Blair, Geoff Coulson, Anders Andersen, Lynne Blair, Michael Clarke, Fábio M. Costa, Hector A. Duran, Nikos Parlavantzas, Katia Barbosa Saikoski	A Principled Approach to Supporting Adaptation in Distributed Mobile Environments.	PDSE	2000	DBLP DOI BibTeX RDF	adaptation, reflection, mobile environments, quality of service management
1	Francisco J. Suárez, Daniel F. García, Javier García 0002	Performance Debugging of Parallel and Distributed Embedded Systems.	PDSE	2000	DBLP DOI BibTeX RDF	Performance Debugging Methodology, Embedded Systems, Measurement, Parallel and Distributed Processing
1	Thaís Vasconcelos Batista, Noemi de La Rocque Rodriguez	Dynamic Reconfiguration of Component-Based Applications.	PDSE	2000	DBLP DOI BibTeX RDF	Component-based programming, interpreted languages, LuaSpace, CORBA, Dynamic Reconfiguration
1	Phong Tran	An Architecture for a Distributed System for Product Engineering Lifecycle Support.	PDSE	1999	DBLP DOI BibTeX RDF	Distributed System Integration, product engineering, manufacturing planning, CAD, CORBA, concurrent engineering, product modeling, process planning, CAP
1	In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee	Testing of Concurrent Programs Based on Message Sequence Charts.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
1	Angelo Morzenti, Matteo Pradella, Matteo Rossi 0001, Stefano Russo 0001, Antonio Sergio	A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.	PDSE	1999	DBLP DOI BibTeX RDF
1	Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca	Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.	PDSE	1999	DBLP DOI BibTeX RDF
1	Per H. Andersen, Joseph Pizzi, Runlin Zhu, Youling Cao, Donald J. Bagert, John K. Antonio, Fred Lott, John C. Grieger	Evaluation of a Methodology for the Reverse Engineering and Parallelization of Sequential Code.	PDSE	1999	DBLP DOI BibTeX RDF	software engineering, parallel processing, parallelization, reverse engineering
1	Chris Rudram, Peter R. Croll, Naoshi Uchihira	Building Test Cases for Use in Hypersequential Programming.	PDSE	1999	DBLP DOI BibTeX RDF
1	Marco Cremonini, Andrea Omicini, Franco Zambonelli	Building Mobile Agent Applications in HiMAT.	PDSE	1999	DBLP DOI BibTeX RDF
1	Michael Goedicke, Torsten Meyer	Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation.	PDSE	1999	DBLP DOI BibTeX RDF	WWW tool support, dynamic semantic-directed system configuration, performance evaluation, software architecture
1	Jianjun Zhao 0001	Multithreaded Dependence Graphs for Concurrent Java Programs.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrency, software maintenance, program slicing, dependence graph
1	Maximilian Frey, Markus Podolsky	Specifying and Analyzing Distributed Object-Oriented Systems.	PDSE	1999	DBLP DOI BibTeX RDF	testing, workflows, object-orientation, temporal logics
1	Reza Nekovei	Data Interoperability via Surrogate API Libraries.	PDSE	1999	DBLP DOI BibTeX RDF	software reuse, client/server systems
1	Ashish Shah, Dennis G. Kafura	Symphony: A Java-Based Composition and Manipulation Framework for Distributed Legacy Resources.	PDSE	1999	DBLP DOI BibTeX RDF	Java, distributed systems, components, composition, problem-solving environments, legacy code
1	Xiaoshan Li	Specification and Simulation of a Concurrent Real-Time System.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Real-time Systems, Simulation and Verification, Executable Specification, Interval Temporal Logic
1	Michael Gunzert, Andreas Nägele	Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components.	PDSE	1999	DBLP DOI BibTeX RDF
1	Ian Gorton, Anna Liu	Evaluating Object Transactional Monitors with OrbixOTM.	PDSE	1999	DBLP DOI BibTeX RDF
1	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Synchronous Message-Passing Programs.	PDSE	1999	DBLP DOI BibTeX RDF	LTS, Deadlock, CCS, Observational Equivalence
1	Günther Rackl, Filippo de Stefani, Francois Héran, Antonello Pasquarelli, Thomas Ludwig 0002	Distributed Airport Simulation Using CORBA and DIS.	PDSE	1999	DBLP DOI BibTeX RDF	Interactive Real-time Simulation, Middleware, Distributed Objects
1	Hwan Wook Sohn, David Chenho Kung, Pei Hsia	State-Based Reproducible Testing for CORBA Applications.	PDSE	1999	DBLP DOI BibTeX RDF	component based software testing, state testing, CORBA, replay
1	Péter Kacsuk	Systematic Debugging of Parallel Programs Based on Collective Breakpoints.	PDSE	1999	DBLP DOI BibTeX RDF
1	Bengi Karaçali, Kuo-Chung Tai	Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs.	PDSE	1999	DBLP DOI BibTeX RDF
1	Lynette I. Millett, Tim Teitelbaum	Channel Dependence Analysis for Slicing Promela.	PDSE	1999	DBLP DOI BibTeX RDF
1		International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999	PDSE	1999	DBLP BibTeX RDF
1	Petr Kroha, Jörg Lindner	Parallel Object Server as a Data Repository for CASE Tools.	PDSE	1999	DBLP DOI BibTeX RDF	fine grained objects, parallel processing, object-oriented, CASE tool, Server, data repository
1	Anna Liu, Ian Gorton	PARSE-DAT: An Integrated Environment for the Design and Analysis of Dynamic Software Architectures.	PDSE	1998	DBLP DOI BibTeX RDF
1	Nam Hee Lee, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae	Towards Reusable Colored Petri Nets.	PDSE	1998	DBLP DOI BibTeX RDF
1	Grzegorz Czajkowski, Chi-Chao Chang, Thorsten von Eicken	Building Parallel Runtime Systems with Active Messages.	PDSE	1998	DBLP DOI BibTeX RDF
1	Ichiro Satoh	An Algebraic Framework for Optimizing Parallel Programs.	PDSE	1998	DBLP DOI BibTeX RDF
1	Satoshi Matsuoka	Towards a Parallel Programming Language based on Commodity Object-Oriented Technologies.	PDSE	1998	DBLP DOI BibTeX RDF
1		International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1998, Kyoto, Japan, April 20-21, 1998	PDSE	1998	DBLP BibTeX RDF
1	D. Hung, P. Thai	On Checking Parallel Real-Time Systems for Linear Duration Invariants.	PDSE	1998	DBLP DOI BibTeX RDF
1	Holger Giese, Jörg Graf, Guido Wirtz	Modeling Distributed Software Systems with Object Coordination Nets.	PDSE	1998	DBLP DOI BibTeX RDF
1	Hesham El-Sayed, Donald Cameron, C. Murray Woodside	Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems.	PDSE	1998	DBLP DOI BibTeX RDF
1	Shing-Chi Cheung, Kam-Keung Wong	Construction of Distributed Multimedia Applications using Multiple Views.	PDSE	1998	DBLP DOI BibTeX RDF
1	Ralf Henke, Andreas Mitschele-Thiel, Hartmut König	Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL.	PDSE	1998	DBLP DOI BibTeX RDF
1	Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung	Towards a Framework for Testing Distributed Multimedia Software Systems.	PDSE	1998	DBLP DOI BibTeX RDF
1	Woei-Jiunn Tsaur, Shi-Jinn Horng, R. Tsai	A Scheme for Auditing Causal Relationships in Group Oriented Distributed Systems.	PDSE	1998	DBLP DOI BibTeX RDF
1	Mark Astley, Gul Agha	Modular Construction and Composition of Distributed Software Architectures.	PDSE	1998	DBLP DOI BibTeX RDF
1	Glenn Bruns, Mark G. Staskauskas	Applying Formal Methods to a Protocol Standard and its Implementations.	PDSE	1998	DBLP DOI BibTeX RDF
1	Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch	Tool Supported Specification and Simulation of Distributed Systems.	PDSE	1998	DBLP DOI BibTeX RDF
1	Jacky Estublier, N. Barghouti	Interoperability and Distribution of Process-Sensitive Systems.	PDSE	1998	DBLP DOI BibTeX RDF
1	Michael Goedicke, Torsten Meyer	Formal Design and Performance Evaluation of Parallel and Distributed Software Systems.	PDSE	1998	DBLP DOI BibTeX RDF
1	Claudio Demartini, Riccardo Sisto	Static Analysis of Java Multithreaded and Distributed Applications.	PDSE	1998	DBLP DOI BibTeX RDF
1	Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec	Validation and Test Generation for Object-Oriented Distributed Software.	PDSE	1998	DBLP DOI BibTeX RDF
1	Reino Kurki-Suonio, Tommi Mikkonen	Abstractions of Distributed Cooperation, their Refinement and Implementation.	PDSE	1998	DBLP DOI BibTeX RDF
1	Katsuhiro Yamazaki, Shoichi Ando	A Case-Based Parallel Programming System.	PDSE	1998	DBLP DOI BibTeX RDF
1	Veronika Thurner	A Formally Founded Description Technique for Business Processes.	PDSE	1998	DBLP DOI BibTeX RDF
1	Maximilian Frey, Michael Oberhuber, Markus Podolsky	Framework for Testing based Development of Parallel and Distributed Programs.	PDSE	1998	DBLP DOI BibTeX RDF
1	Peter Luksch 0001, Ursula Maier, Sabine Rathmayer, Matthias Weidmann, Friedemann Unger, Peter Bastian, Volker Reichenberger, Andreas Haas	Software Engineering in Parallel and Distributed Scientific Computing: A Case Study from Industrial Practice.	PDSE	1998	DBLP DOI BibTeX RDF
1	Marco A. Torres, Susumu Kuroyanagi, Akira Iwata	A Fast Parallel Search Method for Large Dictionaries.	PDSE	1998	DBLP DOI BibTeX RDF
1	Ian Gorton	Distributed Information Systems - Issues and Challenges for the Software Engineering Research Community.	PDSE	1998	DBLP DOI BibTeX RDF
1	J. Condom, K. Ouriachi	Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics.	PDSE	1998	DBLP DOI BibTeX RDF
1	Nikolay N. Mirenkov, Alexander Vazhenin	Filmification of Methods: Computation on Matrices.	PDSE	1998	DBLP DOI BibTeX RDF
1	Péter Kacsuk, Gábor Dózsa, Tibor Fadgyas	A Graphical Programming Environment for Message Passing Programs.	PDSE	1997	DBLP DOI BibTeX RDF
1	Christoph Wedler, Christian Lengauer	Parallel Implementations of Combinations of Broadcast, Reduction and Scan.	PDSE	1997	DBLP DOI BibTeX RDF
1	Darlene A. Stewart, W. Morven Gentleman	Non-Stop Monitoring and Debugging on Shared-Memory Multiprocessors.	PDSE	1997	DBLP DOI BibTeX RDF
1	Pascal Pagny, Marc Hohenadel	OPENPRESS - Open Distributed Assessment Platform for Still Image Compression Schemes.	PDSE	1997	DBLP DOI BibTeX RDF
1	Kunihiko Hiraishi	An Efficient Algorithm for Finding All Maximal Conflict Sets in Concurrent Programs.	PDSE	1997	DBLP DOI BibTeX RDF
1	Bernd Grahlmann, Hans Fleischhack	A Petri Net Semantics for B(PN)2 with Procedures.	PDSE	1997	DBLP DOI BibTeX RDF
1	Paolo Ciancarini, Paolo Ciaccia, Wilma Penzo	Reusing Software Architectures: A Formal Basis.	PDSE	1997	DBLP DOI BibTeX RDF
1	Naoshi Uchihira, Hideji Kawata	Scenario-Based Hypersequential Programming: Concept and Example.	PDSE	1997	DBLP DOI BibTeX RDF
1	Giancarlo Iannizzotto, Antonio Puliafito, Lorenzo Vita	Design and Implementation of a content-based Image Retrieval Tool.	PDSE	1997	DBLP DOI BibTeX RDF
1	José Miguel Mantas Ruiz, A. Palma	Designing Reusable Software Components Following the CSP Distributed Programming Model.	PDSE	1997	DBLP DOI BibTeX RDF
1	Bodo Kalthoff	Scheduling of parallel processing systems based on algorithmic skeletons.	PDSE	1997	DBLP DOI BibTeX RDF
1	Ravi K. Gedela, Sol M. Shatz	Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective.	PDSE	1997	DBLP DOI BibTeX RDF
1	Khalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh	A methodology for verification and analysis of parallel and distributed systems requirements specifications.	PDSE	1997	DBLP DOI BibTeX RDF
1	Jin Song Dong, Lin Zucconi, Roger Duke	Specifying Parallel and Distributed Systems in Object-Z.	PDSE	1997	DBLP DOI BibTeX RDF
1	Mark Polman, Maarten van Steen, Arie de Bruin	Formalizing a Design Technique for Distributed Programs.	PDSE	1997	DBLP DOI BibTeX RDF
1	Lei Hu, Ian Gorton	A Performance Prototyping Approach to Designing Concurrent Software Architectures.	PDSE	1997	DBLP DOI BibTeX RDF
1	David C. DiNucci	Tolerant(Parallel) Programming F-Nets and Software Cabling.	PDSE	1997	DBLP DOI BibTeX RDF
1	Thomas Lippert, Paolo Palazzari, Klaus Schilling 0002	Automatic Template Generation for Solving n2-Problems on Parallel Systems with Arbitrary Topology.	PDSE	1997	DBLP DOI BibTeX RDF
1	Zair Abdelouahab, Slimane Hammoudi	Concurrency in Object Oriented Language Actel.	PDSE	1997	DBLP DOI BibTeX RDF
1	Michael James Katchabaw, Stephen L. Howard, Hanan Lutfi Lutfiyya, Andrew D. Marshall, Michael A. Bauer 0001	Making Distributed Applications Manageable Through Instrumentation.	PDSE	1997	DBLP DOI BibTeX RDF
1		International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1997, Boston, MA, USA, May 17-18, 1997	PDSE	1997	DBLP BibTeX RDF
1	Michel Wermelinger	A Hierarchic Architecture Model for Dynamic Reconfiguration.	PDSE	1997	DBLP DOI BibTeX RDF
1	George R. Ribeiro-Justo, P. Vekariya, Thierry Delaitre, Jamal Zemerly, Stephen C. Winter	Prototype-Oriented Development of High-performance Systems.	PDSE	1997	DBLP DOI BibTeX RDF
1	Thomas Rauber, Gudula Rünger	Integrating library modules into special purpose parallel algorithms.	PDSE	1997	DBLP DOI BibTeX RDF
1	Manuel Díaz, Bartolomé Rubio, José M. Troya	The Tuple Channel Coordination Model.	PDSE	1997	DBLP DOI BibTeX RDF
1	Nikola B. Serbedzija, Louis Botha, Antony Abbott, Judith Bishop	Web Computing Skeleton: A Case Study.	PDSE	1997	DBLP DOI BibTeX RDF
1	Beniamino Di Martino, Giulio Iannello, Hans P. Zima	An Automated Algorithmic Recgnition Ttechnique to Support Parallel Software Development.	PDSE	1997	DBLP DOI BibTeX RDF

Publications at "PDSE"( http://dblp.L3S.de/Venues/PDSE )