|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 153 occurrences of 111 keywords
|
|
|
|
|
Results
Found 110 publication records. Showing 110 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Sykes, Jeff Magee, Jeff Kramer |
FlashMob: distributed adaptive self-assembly.  |
SEAMS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew McVeigh, Jeff Kramer, Jeff Magee |
Evolve: tool support for architecture evolution. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee |
Translating FSP into LOTOS and networks of automata. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Mens, Jeff Magee, Bernhard Rumpe |
Evolving Software Architecture Descriptions of Critical Systems. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
Software engineering, Software architecture, Critical systems, Architecture descriptions, Software-intensive systems, Architectural evolution |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
An Integrated Workbench for Model-Based Engineering of Service Compositions. |
IEEE T. Services Computing |
2010 |
DBLP DOI BibTeX RDF |
Service-oriented architecture, validation, analysis, services models, composite services, Web services modeling |
| 1 | Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer |
Exploiting non-functional preferences in architectural adaptation for self-managed systems. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
software architecture, dynamic reconfiguration, self-adaptive, autonomous systems, non-functional properties |
| 1 | Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor |
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
autonomic computing, adaptive software |
| 1 | Jeff Kramer, Jeff Magee |
A Rigorous Architectural Approach to Adaptive Software Engineering. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
software architecture, adaptive systems, autonomic systems, self-managed systems |
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle |
Software Engineering for Self-Adaptive Systems: A Research Roadmap. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.) |
Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer |
A Case Study in Goal-Driven Architectural Adaptation. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2009: Software engineering for adaptive and self-managing systems. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Deriving event-based transition systems from goal-oriented requirements models. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration |
| 1 | Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos |
08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. |
Software Engineering for Self-Adaptive Systems |
2008 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos |
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. |
Software Engineering for Self-Adaptive Systems |
2008 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.) |
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 |
Software Engineering for Self-Adaptive Systems |
2008 |
DBLP BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. |
Test and Analysis of Web Services |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Towards Self-management in Service-Oriented Computing with Modes. |
ICSOC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee |
Translating FSP into LOTOS and Networks of Automata. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee |
Web Service Composition: From Analysis to Autonomy. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. |
SEAMS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
Self-Managed Systems: an Architectural Challenge. |
FOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel |
Model checking service compositions under resource constraints. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
web services, validation, BPEL4WS, resource modelling |
| 1 | Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer |
Plan-directed architectural change for autonomous systems. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
software architecture, dynamic reconfiguration, self-adaptive, autonomous systems, self-healing |
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
Goal and scenario validation: a fluent combination. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer |
Concurrency - state models and Java programs (2. ed.). |
|
2006 |
RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-Based Analysis of Obligations in Web Service Choreography. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer |
Synthesizing Concurrency Control Components from Process Algebraic Specifications. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Modes for Software Architectures. |
EWSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
LTSA-WS: a tool for model-based verification of web service compositions and choreography. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
model-checking, web service compositions, choreography, BPEL4WS, WS-CDL |
| 1 | Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller |
Software engineering for adaptive and self-managing systems. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
self-adaptive, self-healing, autonomic, self-management, self-optimizing |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu |
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Leveraging Eclipse for integrated model-based engineering of web service compositions. |
ETX |
2005 |
DBLP DOI BibTeX RDF |
web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in |
| 1 | Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Fluent-based web animation: exploring goals for requirements validation. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
modelling, design, animation, validation, requirements |
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Monitoring and control in scenario-based requirements analysis. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
implied scenarios, scenario-based requirements elaboration, message sequence charts |
| 1 | Kevin J. Sullivan, Jeff Magee |
Science of design. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
Engineering distributed software: a structural discipline. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
configuration programming, software architecture, evolution, software components, structure, dynamic configuration, distributed software engineering |
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Fluent temporal logic for discrete-time event-based models. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Tool Support for Model-Based Engineering of Web Service Compositions. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
implied scenarios, negative scenarios, MSC, LTSA |
| 1 | Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Predictable Dynamic Plugin Systems. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Chatley, Susan Eisenbach, Jeff Magee |
MagicBeans: a Platform for Deploying Plugin Components. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
System architecture: the context for scenario-based model synthesis. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
architecture, synthesis, generalisation, MSCs |
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Compatibility Verification for Web Service Choreography. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Synthesis of Behavioral Models from Scenarios. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts |
| 1 | Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Visual methods for web application design. |
HCC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
Model-based Verification of Web Service Compositions. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Software Architecture Modeling & Analysis: A Rigorous Approach. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Model-based Simulation of Web Applications for Usability Assessment. |
ICSE Workshop on SE-HCI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Behaviour model elaboration using partial labelled transition systems. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
model elaboration, partial LTS, synthesis, scenarios |
| 1 | Dimitra Giannakopoulou, Jeff Magee |
Fluent model checking for event-based systems. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
model-checking, linear temporal logic, software architecture analysis |
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Implied Scenario Detection in the Presence of Behaviour Constraints. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis Georgiadis, Jeff Magee, Jeff Kramer |
Self-organising software architectures for distributed systems. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
software architecture, constraints, self-configuring |
| 1 | Will Tracz, Michal Young, Jeff Magee (eds.) |
Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA |
ICSE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Negative scenarios for implied scenario elicitation. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
implied scenarios, negative scenarios, MSC |
| 1 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Detecting implied scenarios in message sequence chart specifications. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA |
| 1 | Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee |
The Koala Component Model for Consumer Electronics Software. |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander |
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. |
IWSSD |
2000 |
DBLP BibTeX RDF |
Graphic Animation, Labeled Transition System, Air Traffic Control, Hybrid Models |
| 1 | Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater |
Model Checking of Workflow Schemas. (PDF / PS) |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
workflow schemas, error-prone process, primitive syntactic verification, automata-based method, compositional reachability analysis, model checking, formal methods, formal verification, robustness, correctness, reachability analysis, liveness properties |
| 1 | Jeff Magee |
Who needs doctors? (abstract of panel session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer |
Graphical animation of behavior models. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
behvior analysis, graphic animation, labeled transition system |
| 1 | Jeff Magee, Mauro Pezzè |
The ICSE2000 doctoral workshop. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos T. Karamanolis, Jeff Magee |
Client Access Protocols for Replicated Services. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
client access, Replication, availability, client-server |
| 1 | Jeff Magee, Jeff Kramer |
Concurrency - state models and Java programs. |
|
1999 |
RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
Modelling for Mere Mortals. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou |
Behaviour Analysis of Software Architectures. |
WICSA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer |
Checking Progress with Action Priority: Is it Fair? |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee |
Behavioral Analysis of Software Architectures Using LTSA. |
ICSE |
1999 |
DBLP BibTeX RDF |
software architecture, behavior analysis |
| 1 | Christos T. Karamanolis, Jeff Magee |
Construction and management of highly available services in open distributed systems. |
Distributed Systems Engineering |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
Analysing dynamic change in distributed software architectures. |
IEE Proceedings - Software |
1998 |
DBLP BibTeX RDF |
|
| 1 | Ulf Leonhardt, Jeff Magee |
Security Considerations for a Distributed Location Service. |
J. Network Syst. Manage. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf Leonhardt, Jeff Magee |
Multi-Sensor Location Tracking. |
MOBICOM |
1998 |
DBLP DOI BibTeX RDF |
sensor fusion, location service, location tracking, open distributed systems |
| 1 | Jeff Kramer, Jeff Magee |
Analysing dynamic change in software architectures: a case study. |
CDS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee |
Exposing the Skeleton in the Coordination Closet. |
COORDINATION |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas I. Donaldson, Jeff Magee |
Distributed System Design using CORBA Components. |
HICSS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos T. Karamanolis, Jeff Magee |
Client--Access Protocols for Replicated Services. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou |
Analysing the behaviour of distributed software architectures: a case study. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
distributed software architecture, software behaviour analysis, behavioural specifications, compositional reachability analysis, composite system models, active badge system, distributed processing, case study, software components, labelled transition systems |
| 1 | Jeff Kramer, Jeff Magee |
Distributed Software Architectures (Tutorial). |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
architecture description language, component composition |
| 1 | Keng Ng, Jeff Kramer, Jeff Magee |
A CASE Tool for Software Architecture Design. |
Autom. Softw. Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf Leonhardt, Jeff Magee, Paul Dias |
Location service in mobile computing environments. |
Computers & Graphics |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Jeff Kramer |
Dynamic Structure in Software Architectures. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos T. Karamanolis, Jeff N. Magee |
A replication protocol to support dynamically configurable groups of servers. |
CDS |
1996 |
DBLP DOI BibTeX RDF |
Replication Management, Replication, Availability, Configuration Management, Distributed Services |
| 1 | Christos T. Karamanolis, Jeff Magee |
Configurable Highly Availbale Distributed Services. |
SRDS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay |
The Software Architect's Assistant-a visual environment for distributed programming. |
HICSS |
1995 |
DBLP DOI BibTeX RDF |
Software Architect's Assistant, software architectural view, informal program design, prototype visual programming environment, Regis distributed programs, textual views, graphical views, formatted reports, design diagrams, graphical monitoring, parallel programming, parallel programs, software development, software tools, programming environments, software reuse, visual programming, software reusability, distributed programming, distributed programs, diagrams, automatic programming, software libraries, intelligent assistance, visual techniques, visual environment, design information, automatic program generation, component libraries, software design process |
| 1 | Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle |
Configuration management for distributed software services. |
Integrated Network Management |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer |
Specifying Distributed Software Architectures. |
ESEC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Naranker Dulay, Jeff Kramer |
Regis: a constructive development environment for distributed programs. |
Distributed Systems Engineering |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Susan Eisenbach, Jeff Kramer |
Modelling Darwin in the Pi-Caculus. |
Dagstuhl Seminar on Distributed Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Eisenbach, Jeff Kramer, Jeff N. Magee |
REGIS-DARWIN specified in the π-calculus. |
CDS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff N. Magee, Naranker Dulay, Jeff Kramer |
A constructive development environment for parallel and distributed programs. |
CDS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, Jeff Magee, Morris Sloman |
Configuring distributed systems. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Magee, Naranker Dulay |
MP: A Programming Environment for Multicomputers. |
Programming Environments for Parallel Computing |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jeff N. Magee, Naranker Dulay, Jeff Kramer |
Structuring parallel and distributed programs. |
CDS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andrew J. Young, Jeff N. Magee |
A flexible approach to evolution of reconfigurable systems. |
CDS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jeff Magee, Shing-Chi Cheung |
Parallel Algorithm Design for Workstation Clusters. |
Softw., Pract. Exper. |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 110 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")