Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Computer
Object structure in the Emerald system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Parlog86 and the dining logicians
Communications of the ACM
The duality of memory and communication in the implementation of a multiprocessor operating system
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Concurrent prolog: collected papers
Concurrent prolog: collected papers
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Matching Language and Hardware for Parallel Computation in the Linda Machine
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
BYTE
The architecture of a Linda coprocessor
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Applications experience with Linda
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
ACM Transactions on Computer Systems (TOCS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Experience with processes and monitors in Mesa
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
A parallel language and its compilation to multiprocessor machines or VLSI
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Distributed data structures in Linda
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Linda integriert in Modula-2 - ein Sprachkonzept für portable parallele Software
Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung
ACM SIGPLAN Notices
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Progress report on a system for general-purpose parallel symbolic algebraic computation
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A parallelization of the Buchberger algorithm
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Design and distributed implementation of the parallel logic language shared Prolog
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Object oriented parallel programming: experiments and results
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Resource binding—a universal approach to parallel programming
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
On the multi-threaded computation of integral polynomial greatest common divisors
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Interactive quantitative visualization
IBM Journal of Research and Development
Eiffel Linda: an object-oriented Linda dialect
ACM SIGPLAN Notices
Which model of programming for LISP: sequential, functional or mixed?
ACM SIGPLAN Notices
Early Experience with the Visual Programmer's WorkBench
IEEE Transactions on Software Engineering
High level support for divide-and-conquer parallelism
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Graphical development tools for network-based concurrent supercomputing
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordination languages and their significance
Communications of the ACM
Using the Linda distribution paradigm to address a variety of computational balancing concerns
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
SGISL: a distributed computational environment supporting environmental and ecological research
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Parallel Programming Using Shared Objects and Broadcasting
Computer - Special issue on sharing: high performance at low cost
A foundation for an efficient multi-threaded scheme system
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
The parallel C (pC) programming language
IBM Journal of Research and Development
Seeking concurrency in rule-based programming
ICSE '92 Proceedings of the 14th international conference on Software engineering
A customizable substrate for concurrent languages
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A parallel execution environment for a sequential object oriented language
ICS '92 Proceedings of the 6th international conference on Supercomputing
Distributed computing with APL
APL '92 Proceedings of the international conference on APL
Efficient parallel programming with Linda
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Programming by multiset transformation
Communications of the ACM
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Extending the two-partner shared variable protocol to n partners
APL '93 Proceedings of the international conference on APL
The Information Bus: an architecture for extensible distributed systems
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Parallel multiplication: a case study in parallel programming
ACM SIGPLAN Notices
The Boyer benchmark meets linear logic
ACM SIGPLAN Lisp Pointers
Linear logic and permutation stacks—the Forth shall be first
ACM SIGARCH Computer Architecture News - Special issue: panel sessions of the 1991 workshop on multithreaded computers
The HetNOS network operating system: a tool for writing distributed applications
ACM SIGOPS Operating Systems Review
Adaptive algorithms for PASO systems
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Of metaphor and the difficulty of computer discourse
Communications of the ACM
CCL: A Portable and Tunable Collective Communication Library for Scalable Parallel Computers
IEEE Transactions on Parallel and Distributed Systems
HeNCE: a heterogenous network computing environment
Scientific Programming
PDS: a performance database server
Scientific Programming
The communication software and parallel environment of the IBM SP2
IBM Systems Journal
The interaction of parallel and sequential workloads on a network of workstations
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Formal semantics for expressing optimism: the meaning of HOPE
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Computing with faulty shared objects
Journal of the ACM (JACM)
Portable run-time support for dynamic object-oriented parallel processing
ACM Transactions on Computer Systems (TOCS)
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Image processing as an exemplar of parallelism applied to graphics
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Language-level support for exploratory programming of distributed virtual environments
Proceedings of the 9th annual ACM symposium on User interface software and technology
Runtime coupling of data-parallel programs
ICS '96 Proceedings of the 10th international conference on Supercomputing
Execution analysis of DSM applications: a distributed and scalable approach
SPDT '96 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
GNATDIST: a configuration language for distributed Ada 95 applications
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The Carnot Heterogeneous Database Project: Implemented Applications
Distributed and Parallel Databases
Heterogeneous Simulation—Mixing Discrete-Event Models with Dataflow
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Boundary analysis in the instructional footprint model: an implementation in Linda
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
The importance of synchronization structure in parallel program optimization
ICS '97 Proceedings of the 11th international conference on Supercomputing
Distributed partial evaluation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Abstractions for Portable, Scalable Parallel Programming
IEEE Transactions on Parallel and Distributed Systems
An integrated course on parallel and distributed processing
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Coordinating Multiagent Applications on the WWW: A Reference Architecture
IEEE Transactions on Software Engineering
Shared Memory Programming in Metacomputing Environments: The Global Array Approach
The Journal of Supercomputing - Special issue: high performance distributed computing
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
Healthcare information architecture: elements of a new paradigm
NSPW '94 Proceedings of the 1994 workshop on New security paradigms
Lightweight object-oriented shared variables for distributed applications on the Internet
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Parallel distributed viewshed analysis
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
A standard for multimedia middleware
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
The design, implementation, and evaluation of Jade
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating autonomous entities with STL
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
Modelling network topology and mobile agent interaction: an integrated framework
Proceedings of the 1999 ACM symposium on Applied computing
Exploiting an event-based infrastructure to develop complex distributed systems
Proceedings of the 20th international conference on Software engineering
Transparent communication for distributed objects in Java
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Communications of the ACM
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Open, distributed coordination with finesse
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Making tuple spaces safe for heterogeneous distributed systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Optimising the Linda in primitive: understanding tuple-space run-times
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Design guidelines for coordination components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
DL '00 Proceedings of the fifth ACM conference on Digital libraries
IFIP/ACM International Conference on Distributed systems platforms
A universal information appliance
IBM Systems Journal
Double standards: bringing task parallelism to HPF via the message passing interface
Supercomputing '96 Proceedings of the 1996 ACM/IEEE conference on Supercomputing
Towards a universal service-computing platform via virtual service machine
Proceedings of the 2001 ACM symposium on Applied computing
Avoiding Packaging Mismatch with Flexible Packaging
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
An approach to designing reusable service frameworks via virtual service machine
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Abstractions for mobile computations
Secure Internet programming
Types of specifications of access policies
Secure Internet programming
Lifestreams: a storage model for personal data
ACM SIGMOD Record
A self interpreter for BaLinda Lisp
ACM SIGPLAN Notices
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
IEEE Transactions on Software Engineering
ATLAS: an infrastructure for global computing
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
An efficient method for expressing active object in C++
ACM SIGSOFT Software Engineering Notes
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Resource access control in systems of mobile agents
Information and Computation
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Formal methods for distributed processing
Readings in hardware/software co-design
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Ptolemy: a framework for simulating and prototyping heterogeneous systems
Readings in hardware/software co-design
A logic-based approach for automatic synthesis and maintenance of web sites
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
MARE: resource discovery and configuration in ad hoc networks
Mobile Networks and Applications
Multi-Party Coordination in the Context of MOWS
Programming and Computing Software
Mole – Concepts of a mobile agent system
World Wide Web
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
System Software for Ubiquitous Computing
IEEE Pervasive Computing
The Interactive Workspaces Project: Experiences with Ubiquitous Computing Rooms
IEEE Pervasive Computing
IEEE Parallel & Distributed Technology: Systems & Technology
The Extensible Services Switch in Carnot
IEEE Parallel & Distributed Technology: Systems & Technology
Simplifying Connection-Based Communication
IEEE Parallel & Distributed Technology: Systems & Technology
Computer
VMMP: A Practical Tool for the Development of Portable and Efficient Programs for Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Data-Parallel Programming on MIMD Computers
IEEE Transactions on Parallel and Distributed Systems
Benchmarking Parallel Processing Platforms: An Applications Perspective
IEEE Transactions on Parallel and Distributed Systems
Asynchronous Problems on SIMD Parallel Computers
IEEE Transactions on Parallel and Distributed Systems
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Public data structures: counters as a special case
Theoretical Computer Science
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
Using mobile code to provide fault tolerance in tuple space based coordination languages
Science of Computer Programming - Special issue on coordination languages and architectures
XPect: A Framework for Electronic Commerce
IEEE Internet Computing
ICCL'98 Workshop on Internet Programming Languages
Multicast Protocols for Jinni Agents
IICS '01 Proceedings of the International Workshop on Innovative Internet Computing Systems
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
An Approach to Composing Parallel Programs
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
SVP: A Model Capturing Sets, Lists, Streams, and Parallelism
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Indeed: Interactive Deduction on Horn Clause Theories
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Objects Shared by Byzantine Processes
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Mobile Computation: Calculus and Languages (A Tutorial)
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Resource-Based Scripting to Stitch Distributed Components
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
An RBAC Based Policy Enforcement Coordination Model in Internet Environment
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Notes on Nominal Calculi for Security and Mobility
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Towards Inference and Computation Mobility: The Jinni Experiment
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Embedded Systems Unsuitable for Object Orientation
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Coordinating Web-Based Systems with Documents in XMLSpaces
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Generic Constraints for Content-Based Publish/Subscribe
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Towards a Scalable Architecture for Knowledge Fusion
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Software Architecture for Distributed Reactive Systems
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Mobile Co-ordination: Providing Fault Tolerance in Tuple Space Based Co-ordination Languages
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
The SPACETUB Models and Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formalizing Properties of Mobile Agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
C2AS: A System Supporting Distributed Web Applications Composed of Collaborating Agents
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
A Framework for the Exchange and Installation of Protocols in a Multi-agent System
CIA '01 Proceedings of the 5th International Workshop on Cooperative Information Agents V
Large Scale Peer-to-Peer Experiments with Virtual Private Community (VPC) Framework
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Logic Programming Techniques for Dynamic VRML Web Content Generation
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Comparing Software Architectures for Coordination Languages
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Distributed dynamic hash tables using IBM LAPI
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
The invention of concurrent programming
The origin of concurrent programming
IEEE Transactions on Parallel and Distributed Systems
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Advanced environments for parallel and distributed applications: a view of current status
Parallel Computing - Special issue: Advanced environments for parallel and distributed computing
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Using generative design patterns to generate parallel code for a distributed memory environment
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
An architecture for dynamic and evolving cooperative software agents
Computer Standards & Interfaces - Special issue: Adaptable software architectures
Types and Effects for Asymmetric Cryptographic Protocols
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Disk Resident Arrays: An Array-Oriented I/O Library for Out-Of-Core Computations
FRONTIERS '96 Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
Detection of Implicit Parallelisms in the Task Parallel Language
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
Shared Memory NUMA Programming on I-WAY
HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Perceptual Collaboration in Neem
ICMI '02 Proceedings of the 4th IEEE International Conference on Multimodal Interfaces
Visual Presentation of Software Specifications and Designs
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Posit spaces: a performative model of e-commerce
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Operating Systems Support for Flexible Coherence in distributed Object Systems
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
An end-to-end approach to globally scalable programmable networking
FDNA '03 Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A unifying approach to the security of distributed and multi-threaded programs
Journal of Computer Security - Special issue on CSFW14
Efficient matching for state-persistent publish/subscribe systems
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Enterprise in context: assessing the usability of parallel programming environments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
A modal logic for mobile agents
ACM Transactions on Computational Logic (TOCL)
Looking into the past: enhancing mobile publish/subscribe middleware
Proceedings of the 2nd international workshop on Distributed event-based systems
HPC the easy way: new technologies for high performance application development and deployment
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Evolutions in parallel distributed and network-based processing
The Knowledge Engineering Review
An architectural framework and a middleware for cooperating smart components
Proceedings of the 1st conference on Computing frontiers
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Multi-threading and message communication in Qu-Prolog
Theory and Practice of Logic Programming
High-level networking with mobile code and first order AND-continuations
Theory and Practice of Logic Programming
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
IBM Systems Journal
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
Mobile services discovery and selection in the publish/subscribe paradigm
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Proceedings of the 2003 ACM/IEEE conference on Supercomputing
Distributed Shared Arrays: An Integration of Message Passing and Multithreading on SMP Clusters
The Journal of Supercomputing
Objects shared by Byzantine processes
Distributed Computing
Journal of Systems Architecture: the EUROMICRO Journal
A programming language for ad-hoc networks of mobile devices
LCR '04 Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems
Agent oriented logic programming in Jinni 2004
Proceedings of the 2005 ACM symposium on Applied computing
A model for characterizing the scalability of distributed systems
ACM SIGOPS Operating Systems Review
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Metacomputing with the ICET System
International Journal of High Performance Computing Applications
Law-governed Linda as a semantics for agent dialogue protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
ERESYE: artificial intelligence in Erlang programs
Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
The Neem Platform: An Evolvable Framework for Perceptual Collaborative Applications
Journal of Intelligent Information Systems
Proceedings of the 33rd annual international symposium on Computer Architecture
xSpace: a tuple space for XML & its application in orchestration of web services
Proceedings of the 2006 ACM symposium on Applied computing
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Weaves: a framework for reconfigurable programming
International Journal of Parallel Programming - Special issue: The next generation software program
ActorNet: an actor platform for wireless sensor networks
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Resource control for synchronous cooperative threads
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Partitioning strategies for distributed association rule mining
The Knowledge Engineering Review
The Knowledge Engineering Review
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
Future Generation Computer Systems
Aldat: A retrospective on a work in progress
Information Systems
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
Rudder: An agent-based infrastructure for autonomic composition of grid applications
Multiagent and Grid Systems
Definition and use of Computation Independent Models in an MDA-based groupware development process
Science of Computer Programming
An autonomic operating environment for large-scale distributed applications
Integrated Computer-Aided Engineering - Autonomous Computing
Efficient implementation of tuple pattern based retrieval
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Ontology schema for an agent belief store
International Journal of Human-Computer Studies
Client behavior and feed characteristics of RSS, a publish-subscribe system for web micronews
IMC '05 Proceedings of the 5th ACM SIGCOMM conference on Internet Measurement
An application experience with an implicitly parallel composition language
VHLLS'94 Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings
Parallel processing with windows NT networks
NT'97 Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997
A Preliminary Comparative Study on the Expressive Power of Reo and Linda
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive and reliable parallel computing on networks of workstations
ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference
Teaching operating systems with ruby
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
A computational infrastructure for grid-based asynchronous parallel applications
Proceedings of the 16th international symposium on High performance distributed computing
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
Crossing Organizational Boundaries with Mobile Agents in Electronic Service Markets
Integrated Computer-Aided Engineering
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Rethinking software connectors
International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting
Types and effects for asymmetric cryptographic protocols
Journal of Computer Security - Special issue on CSFW15
Kensho: a dynamic tasking architecture for sensor networks
ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
Architecture design principles to support adaptive service orchestration in WSN applications
ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Multiple-labelled transition systems for nominal calculi and their logics†
Mathematical Structures in Computer Science
Agent oriented software engineering with web applications
International Journal of Web Engineering and Technology
TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Agent-based protein structure prediction
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Advanced collective communication in aspen
Proceedings of the 22nd annual international conference on Supercomputing
MANAGING RESPONSIVE ENVIRONMENTS WITH SOFTWARE AGENTS
Applied Artificial Intelligence
Efficient Parallel Programming with Linda
Scientific Programming
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Using the Simulated Annealing Algorithm for Multiagent Decision Making
RoboCup 2006: Robot Soccer World Cup X
VWM: An Improvement to Multiagent Coordination in Highly Dynamic Environments
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems V
Programming with Live Distributed Objects
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Automata on Multisets of Communicating Objects
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Constraint Relaxation Approach for Over-Constrained Agent Interaction
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Theoretical Computer Science
Mobile agents, DSM, coordination, and self-migrating threads: a Common Framework
DNCOCO'08 Proceedings of the 7th conference on Data networks, communications, computers
Addressing the Brittleness of Agent Interaction
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Operational Semantics for Declarative Networking
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Grid-based asynchronous replica exchange
GRID '07 Proceedings of the 8th IEEE/ACM International Conference on Grid Computing
On shouting "Fire!": regulating decoupled communication in distributed systems
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Group Abstractions for Organizing Dynamic Distributed Systems
Euro-Par 2008 Workshops - Parallel Processing
Software composition with Linda
Computer Languages, Systems and Structures
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Online Risk Analytics on the Cloud
CCGRID '09 Proceedings of the 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid
International Journal of Parallel Programming
Anonymous Agent Coordination in Smart Spaces: State-of-the-Art
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Node-capability-aware replica management for peer-to-peer grids
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A distributed pool architecture for genetic algorithms
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Peer-to-Peer Overlay Network Based on Swarm Intelligence
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Formal Modeling Of Middleware-based Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
A cluster computing environment at a small institution to support faculty/student projects
Journal of Computing Sciences in Colleges
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Object-oriented visualization of scientific data
Journal of Visual Languages and Computing
Editorial: Coordination models, languages and applications
Science of Computer Programming
Web API design considerations for resolving inherent issues in web environment
International Journal of Web Engineering and Technology
Execution environment of peer-to-peer services in a mobile environment
AP2PC'02 Proceedings of the 1st international conference on Agents and peer-to-peer computing
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
IS=DBS+interaction: towards principles of information system design
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Outdoor distributed computing with split smart messages
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Generic-events architecture: Integrating real-world aspects in event-based systems
Architecting dependable systems IV
A time and interaction model for open distributed timing computation
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
Integrating verification, testing, and learning for cryptographic protocols
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Formal modelling of a coordination system: from practice to theory, and back again
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
DRLinda: a distributed message broker for collaborative interactions among business processes
EC-Web'07 Proceedings of the 8th international conference on E-commerce and web technologies
Coordination and adaptation techniques: bridging the gap between design and implementation
ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
MetaKlaim: meta-programming for global computing
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Towards a logic programming infrastructure for internet programming
Artificial intelligence today
No Code Required: Giving Users Tools to Transform the Web
No Code Required: Giving Users Tools to Transform the Web
Co-ordination in artificial agent societies: social structures and its implications for autonomous problem-solving agents
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Predictive knowledge management using mirror worlds
Intelligent Decision Technologies - Engineering and management of IDTs for knowledge management systems
DataSpaces: an interaction and coordination framework for coupled simulation workflows
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Exploring application and infrastructure adaptation on hybrid grid-cloud infrastructure
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Ease of use with concurrent collections (CnC)
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures
PicOS tuples: easing event based programming in tiny pervasive systems
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Selforganization in distributed semantic repositories
FIS'2009 Proceedings of the Second Future internet conference on Future internet
Distributed stream processing with DUP
NPC'10 Proceedings of the 2010 IFIP international conference on Network and parallel computing
On-the-fly ontology matching in smart spaces: a multi-model approach
ruSMART/NEW2AN'10 Proceedings of the Third conference on Smart Spaces and next generation wired, and 10th international conference on Wireless networking
BISSA: empowering web-gadget communication with tuple spaces
Proceedings of the 8th International Workshop on Middleware for Grids, Clouds and e-Science
Automata and processes on multisets of communicating objects
Natural Computing: an international journal
Implementation of an annotation service on the WWW- virtual notes
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
A framework for process migration in software DSM environments
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Using agent wills to provide fault-tolerance in distributed shared memory systems
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Using tuple-spaces to manage the storage and dissemination of spatial-temporal content
Journal of Computer and System Sciences
Piccolo: building fast, distributed programs with partitioned tables
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Encouraging parallel thinking through explicit coordination modeling
Proceedings of the 42nd ACM technical symposium on Computer science education
ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chat
Proceedings of the ACM 2011 conference on Computer supported cooperative work
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Cobra: contentbased filtering and aggregation of blogs and RSS feeds
NSDI'07 Proceedings of the 4th USENIX conference on Networked systems design & implementation
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Adaptable Decentralized Service Oriented Architecture
Journal of Systems and Software
Interaction and coordination of tools for structured data
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Scalable and fault tolerant multiple tuple space architecture for mobile agent communication
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Agent-based management of responsive environments
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Adaptive preference specifications for application sessions
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
MoMo: a modal logic for reasoning about mobility
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A framework for the development and execution of horizontal protocols in open BPM systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Scalable execution of legacy scientific codes
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Modelling environments for distributed simulation
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Coherence constraints for agent interaction
AC'04 Proceedings of the 2004 international conference on Agent Communication
Higher-Order chemical programming style
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
A dynamic geometry-based shared space interaction framework for parallel scientific applications
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Enforcing distributed information flow policies architecturally: the SAID approach
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Mobile distributed programming in X-KLAIM
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Leveraging the linda coordination model for a groupware architecture implementation
CRIWG'06 Proceedings of the 12th international conference on Groupware: design, implementation, and use
Efficient agent communication in multi-agent systems
Software Engineering for Multi-Agent Systems III
Science at the speed of thought
Ambient Intelligence for Scientific Discovery
Architectural building blocks for plug-and-play system design
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Towards encapsulating data in component-based software systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Multi-threaded communicating agents in qu-prolog
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Global asynchronous parallel program control for multicore processors
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume Part I
DENEB: a platform for the development and execution of interoperable dynamic Web processes
Concurrency and Computation: Practice & Experience
A distributed architecture for norm-aware agent societies: a retrospective
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
BaLinda Lisp: Design and implementation
Computer Languages
Mathematical and Computer Modelling: An International Journal
Finding, expressing and managing parallelism in programs executed on clusters of workstations
Computer Communications
Partitioning and scheduling loops on NOWs
Computer Communications
ALua: flexibility for parallel programming
Computer Languages, Systems and Structures
Mobius: unified messaging and data serving for mobile apps
Proceedings of the 10th international conference on Mobile systems, applications, and services
Towards a programming model for context-aware applications
Computer Languages, Systems and Structures
Grounding ecologies on multiple spaces
Pervasive and Mobile Computing
An architecture for dynamic service-oriented computing in networked embedded systems
Software Service and Application Engineering
Domain-Specific languages in few steps: the neverlang approach
SC'12 Proceedings of the 11th international conference on Software Composition
Distribution of a Simple Shared Dataspace Architecture
Fundamenta Informaticae
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Declarative object identity using relation types
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Concurrency and Computation: Practice & Experience
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Design and analysis of cloud-based architectures with KLAIM and maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Architectural patterns for applications with external user interface elements
Pervasive and Mobile Computing
PadSpace: A new framework for the service federation of web resources
Information Systems Frontiers
LOCCAM - loosely coupled context acquisition middleware
Proceedings of the 28th Annual ACM Symposium on Applied Computing
An adaptive context acquisition framework to support mobile spatial and context-aware applications
W2GIS'13 Proceedings of the 12th international conference on Web and Wireless Geographical Information Systems
Dataflow constructs for a language extension based on the algebra of communicating processes
Proceedings of the 4th Workshop on Scala
The furniture of ubiquitous computing
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
A practical experience concerning the parallel semantic annotation of a large-scale data collection
Proceedings of the 9th International Conference on Semantic Systems
MobiLine: A Nested Software Product Line for the domain of mobile and context-aware applications
Science of Computer Programming
High-performance computing for surface modelling and analysis
The Visual Computer: International Journal of Computer Graphics
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Equations for Asynchronous Message Passing
Fundamenta Informaticae - Concurrency, Specification and Programming
Hi-index | 48.29 |
How can a system that differs sharply from all currently fashionable approaches score any kind of success? Here's how.