| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mauro César Bernardes, Edson dos Santos Moreira |
Implementation of an Intrusion Detection System Based on Mobile Agents. (PDF / PS)  |
PDSE  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fethi A. Rabhi, Helen Cai, Brian C. Tompsett |
A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Virtual Environments, Patterns, Programming Environments, Skeletons, Distributed Programming, Automatic Code Generation |
| 1 | Francisco J. Suárez, Daniel F. García, Javier García |
Performance Debugging of Parallel and Distributed Embedded Systems. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Performance Debugging Methodology, Embedded Systems, Measurement, Parallel and Distributed Processing |
| 1 | Karen Renaud |
HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Welch, Jeremy M. R. Martin |
A CSP Model for Java Multithreading. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock |
| 1 | Desmond Chambers, Gerard Lyons, Jim Duggan |
Design of a Virtual Store Using Distributed Object Technology. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Multimedia, E-Commerce, CORBA, Event Service |
| 1 | Thaís Vasconcelos Batista, Noemi de La Rocque Rodriguez |
Dynamic Reconfiguration of Component-Based Applications. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Component-based programming, interpreted languages, LuaSpace, CORBA, Dynamic Reconfiguration |
| 1 | Markus Aleksy, Axel Korthaus |
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Master-Slave, parallel processing, CORBA, group communication |
| 1 | Ichiro Satoh |
A Formalism for Hierarchical Mobile Agents. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
verification, mobile agents, specification, formal model, bisimulation, process calculus |
| 1 | Holger Giese, Guido Wirtz |
Early Evaluation of Design Options for Distributed Systems. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
performance, distributed systems, UML, object-orientation, behavior modeling, design techniques |
| 1 | Domenico Cotroneo, Luigi Romano, Stefano Russo, Nicola Mazzocca |
A CORBA-Based Architecture for Adding Dependability to Legacy Servers. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sotirios Terzis, Paddy Nixon |
Component Location and the Role of Trading in Large Scale Distributed Systems. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
component trading, component software |
| 1 | P. Manjula Rani, A. Vijay Srinivas, D. Janaki Ram |
Scalability Issues in CORBA. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
Scalability, CORBA, IR, Object Migration, Message Filters, POA |
| 1 | Navin Gupta, Eileen Kraemer, Delbert Hart, Maria Chinwala, David W. Miller |
Exploratory Visualization of Distributed Computations: A Case Study. (PDF / PS) |
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. (PDF / PS) |
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 B. Saikoski |
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
adaptation, reflection, mobile environments, quality of service management |
| 1 | Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, P. R. F. Cunha |
Specifying and Verifying Reconfigurable Software Architectures. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
reconfigurable software architecture, software architecture, formal specification, dynamic software architecture |
| 1 | Tertius D. Wessels, Judy M. Bishop |
Applying Distributed Object Technology to Network Planning. (PDF / PS) |
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. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Zahir Tari, Vivek Pande |
Dynamic Workflow Management in CORBA Distributed Object Systems. (PDF / PS) |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li |
Specification and Simulation of a Concurrent Real-Time System. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrent Real-time Systems, Simulation and Verification, Executable Specification, Interval Temporal Logic |
| 1 | Michael Goedicke, Torsten Meyer |
Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
WWW tool support, dynamic semantic-directed system configuration, performance evaluation, software architecture |
| 1 | Ian Gorton, Anna Liu |
Evaluating Object Transactional Monitors with OrbixOTM. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Rudram, Peter R. Croll, Naoshi Uchihira |
Building Test Cases for Use in Hypersequential Programming. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hwan Wook Sohn, David Chenho Kung, Pei Hsia |
State-Based Reproducible Testing for CORBA Applications. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
component based software testing, state testing, CORBA, replay |
| 1 | Jun Zhou, Kuo-Chung Tai |
Deadlock Analysis of Synchronous Message-Passing Programs. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
LTS, Deadlock, CCS, Observational Equivalence |
| 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. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Rackl, Filippo de Stefani, Francois Héran, Antonello Pasquarelli, Thomas Ludwig 0002 |
Distributed Airport Simulation Using CORBA and DIS. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Interactive Real-time Simulation, Middleware, Distributed Objects |
| 1 | Phong Tran |
An Architecture for a Distributed System for Product Engineering Lifecycle Support. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Distributed System Integration, product engineering, manufacturing planning, CAD, CORBA, concurrent engineering, product modeling, process planning, CAP |
| 1 | Bengi Karaçali, Kuo-Chung Tai |
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianjun Zhao |
Multithreaded Dependence Graphs for Concurrent Java Programs. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrency, software maintenance, program slicing, dependence graph |
| 1 | Lynette I. Millett, Tim Teitelbaum |
Channel Dependence Analysis for Slicing Promela. (PDF / PS) |
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. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio |
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Frey, Markus Podolsky |
Specifying and Analyzing Distributed Object-Oriented Systems. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
testing, workflows, object-orientation, temporal logics |
| 1 | Marco Cremonini, Andrea Omicini, Franco Zambonelli |
Building Mobile Agent Applications in HiMAT. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Shah, Dennis G. Kafura |
Symphony: A Java-Based Composition and Manipulation Framework for Distributed Legacy Resources. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Java, distributed systems, components, composition, problem-solving environments, legacy code |
| 1 | Péter Kacsuk |
Systematic Debugging of Parallel Programs Based on Collective Breakpoints. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 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. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts |
| 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. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
software engineering, parallel processing, parallelization, reverse engineering |
| 1 | Reza Nekovei |
Data Interoperability via Surrogate API Libraries. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
software reuse, client/server systems |
| 1 | Petr Kroha, Jörg Lindner |
Parallel Object Server as a Data Repository for CASE Tools. (PDF / PS) |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
fine grained objects, parallel processing, object-oriented, CASE tool, Server, data repository |
| 1 | Katsuhiro Yamazaki, Shoichi Ando |
A Case-Based Parallel Programming System. (PDF / PS) |
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. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Jörg Graf, Guido Wirtz |
Modeling Distributed Software Systems with Object Coordination Nets. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Shing-Chi Cheung, Kam-Keung Wong |
Construction of Distributed Multimedia Applications using Multiple Views. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Goedicke, Torsten Meyer |
Formal Design and Performance Evaluation of Parallel and Distributed Software Systems. (PDF / PS) |
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. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn Bruns, Mark G. Staskauskas |
Applying Formal Methods to a Protocol Standard and its Implementations. (PDF / PS) |
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. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Liu, Ian Gorton |
PARSE-DAT: An Integrated Environment for the Design and Analysis of Dynamic Software Architectures. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Condom, K. Ouriachi |
Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reino Kurki-Suonio, Tommi Mikkonen |
Abstractions of Distributed Cooperation, their Refinement and Implementation. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay N. Mirenkov, Alexander Vazhenin |
Filmification of Methods: Computation on Matrices. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Hung, P. Thai |
On Checking Parallel Real-Time Systems for Linear Duration Invariants. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Nam Hee Lee, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae |
Towards Reusable Colored Petri Nets. (PDF / PS) |
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. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Veronika Thurner |
A Formally Founded Description Technique for Business Processes. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Czajkowski, Chi-Chao Chang, Thorsten von Eicken |
Building Parallel Runtime Systems with Active Messages. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Gorton |
Distributed Information Systems - Issues and Challenges for the Software Engineering Research Community. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Luksch, 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. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco A. Torres, Susumu Kuroyanagi, Akira Iwata |
A Fast Parallel Search Method for Large Dictionaries. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Astley, Gul Agha |
Modular Construction and Composition of Distributed Software Architectures. (PDF / PS) |
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. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoshi Matsuoka |
Towards a Parallel Programming Language based on Commodity Object-Oriented Technologies. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Frey, Michael Oberhuber, Markus Podolsky |
Framework for Testing based Development of Parallel and Distributed Programs. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Satoh |
An Algebraic Framework for Optimizing Parallel Programs. (PDF / PS) |
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. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Demartini, Riccardo Sisto |
Static Analysis of Java Multithreaded and Distributed Applications. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacky Estublier, N. Barghouti |
Interoperability and Distribution of Process-Sensitive Systems. (PDF / PS) |
PDSE |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")