Per anno
Per anno
961 pubblicazioni senza ACM ID / 1927–2014
2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1980 | 1979 | 1978 | 1977 | 1974 | 1973 | 1972 | 1971 | 1965 | 1964 | 1962 | 1959 | 1952 | 1950 | 1947 | 1939 | 1937 | 1927
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations
- Coordination-aware Elasticity
- Building Blocks for Aggregate Programming of Self-Organising Applications
- Engineering General Intelligence, Part 2
- Extending a Smart Home Multi-Agent System with Role-Based Access Control
- Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives
- The IEEE-FIPA Standard on the Design Process Documentation Template
- Negotiation and Argumentation in Multi-Agent Systems
- Introduction
- A Calculus of Self-stabilising Computational Fields
- Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
- Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks
- Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification
- HPC from a self-organisation perspective: The case of crowd steering at the urban scale
- Argumentation and Artifacts for Negotiation Support
- TuCSoN Coordination for MAS Situatedness: Towards a Methodology
- On the Origin of Autonomy. A New Look at the Major Transitions in Evolution
- Handbook on Agent-Oriented Design Processes
- The SODA Methodology: Meta-Model and Process Documentation
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations
- Distributed statistical analysis of complex systems modeled through a chemical metaphor
- Novel pervasive scenarios for home management: the Butlers architecture
- Best ACM SAC Articles on Coordination and Self-Adaptation
- Coordination in Situated Systems: Engineering MAS Environment in TuCSoN
- Preface
- The Autonomy of Automated Systems
- On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates
- Towards a Unified Model of Spatial Computing
- Bridging the Symbolic/Subsymbolic Gap
- The Gaia Methodology Process
- Probabilistic Modular Embedding for Stochastic Coordinated Systems
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
- Coordination for Situated MAS: Towards an Event-driven Architecture
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine
- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL
- Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems
- Self-Organising Semantic Resource Discovery for Pervasive Systems
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach
- Domain Independent Text Categorization
- Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus
- Special Issue on Software Agents
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
- Coupling software architecture and human architecture for collaboration-aware system adaptation
- Nature-inspired Coordination for Complex Distributed Systems
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
- A calculus of computation fields
- Collaborative Learning and ICT: A Prototypal Learning Environment
- Injecting Self-organisation into Pervasive Service Ecosystems
- On competitive self-composition in pervasive services
- tuProlog: Making Prolog Ubiquitous
- Nature-inspired Coordination Models: Current Status, Future Trends
- 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013)
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST
- Space-aware Coordination in ReSpecT
- MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation
- Tuple-based Coordination of Stochastic Systems with Uniform Primitives
- Operational Semantics of Proto
- Organizing the Aggregate: Languages for Spatial Computing
- Multi-agent Oriented Programming with JaCaMo
- Description and composition of bio-inspired design patterns: a complete overview
- 6th International Spatial Computing Workshop (SCW 2013)
- Software Agents: Twenty Years and Counting
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
- Self-Organising Semantic Resource Discovery for Pervasive Systems
- Predicting Social Density in Mass Events to Prevent Crowd Disasters.
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
- Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion
- A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
- Engineering Pervasive Multiagent Systems in SAPERE
- Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
- Is It a “Good” Encoding of Mixed Choice?
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
- Bottom-Up Argumentation
- Self-organising Semantic Resource Discovery for Pervasive Systems
- The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi
- VPN - Client-server object-oriented virtual plant modeling tool
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
- Molecules of Knowledge: A Novel Perspective over Knowledge Management
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
- Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective
- ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
- Programming Directives for Elastic Computing
- On the Space-time Situation of Pervasive Service Ecosystems
- Distributed Systems. Concepts and Design
- Standard Type Soundness for Agents and Artifacts
- A Computational Framework for Multilevel Morphologies
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core
- Programming Distributed Multi-Agent Systems in simpAL
- A Programming Paradigm based on Agent-Oriented Abstractions
- Interdependent Artificial Institutions in Agent Environments
- Perspectives on Spin Glasses
- Agents Writing on Walls: Cognitive Stigmergy and Beyond
- 1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)
- Proceedings of the AI*IA 2012 Doctoral Consortium
- Gradient-based Self-organisation Patterns of Anticipative Adaptation
- Self-Organising News Management: The Molecules of Knowledge Approach
- Typing Multi-Agent Programs in simpAL
- On the Space-time Situation of Pervasive Service Ecosystems
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL
- Implicit: A Multi-agent Recommendation System for Web Search
- Situation Identification Techniques in Pervasive Computing: A Review
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications
- Self-adaptive software needs quantitative verification at runtime
- Toward Sociotechnical Urban Superorganisms
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure
- Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
- Self-Organising News Management: The Molecules of Knowledge Approach
- Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda
- Coordinating Spatially-Situated Pervasive Service Ecosystems
- Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn
- Model-driven communications and collaborative software development
- Declarative Agent Languages and Technologies VIII
- Deep diving into BitTorrent locality
- Living in a Digital World
- An introduction to Bisimulation and Coinduction
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
- Reasoning with Categories for Trusting Strangers: a Cognitive Architecture
- Seeing is not enough
- Preface
- Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
- BaSi: Multi-Agent Based Simulation for Medieval Battles
- JaCa-Android: an agent-based platform for building smart mobile applications
- Special Issue “Infrastructures and Tools for Multiagent Systems”
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
- Software Engineering for Self-Organizing Systems
- A Simulation Framework for Pervasive Services Ecosystems
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions
- Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents
- A Calculus of Agents and Artifacts
- Middleware Infrastructures for Self-organising Pervasive Computing Systems
- Dennis Ritchie, 1941-2011
- Sustainable biomass power plant location in the Italian Emilia-Romagna region
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
- Facing Openness with Socio Cognitive Trust and Categories
- Distributed Computing. Principles, Algorithms, and Systems
- Abstraction in hardware system design
- Towards a logic framework for Web programming
- Java Security Architecture Revisited
- Improving brain-computer interfaces
- A Coordination Approach to Adaptive Pervasive Service Ecosystems
- Unsupervised Learning of True Ranking Estimators using the Belief Function Framework
- Towards Social-ICT Organisms
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
- The legacy of Steve Jobs
- Verifying the Evolution of Probability Distributions Governed by a DTMC
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case
- The most ancient marketing
- Self-aware Pervasive Service Ecosystems
- The software industry is the problem
- Adaptive organizational changes in agent-oriented methodologies
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
- From Space to Stage: How Interactive Screens Will Change Urban Life
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
- Self-organising Knowledge-intensive Workspaces
- Enhancing Privacy in Multi-Agent Systems
- The Social Compute Unit
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
- Multi-level models and infrastructures for simulating biological system development
- Adaptable Multi-Agent Systems: The Case of the Gaia Methodology
- Preface
- The Rise of Molecular Machines
- From Manifesta to Krypta: The Relevance of Categories for Trusting Others
- BDI Agents with Objectives and Preferences
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming
- Principles of Elastic Processes
- Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
- Core Operational Semantics of Proto
- An interaction-oriented agent framework for open environments
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
- A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
- Anonymity is not privacy: technical perspective
- A Tour of Reaction Systems
- Debt Deleveraging and Business Cycles. An Agent-Based Perspective
- Exploiting the JaCaMo framework for realising an adaptive room governance application
- Global Democracy: Normative and Empirical Perspectives
- Computational journalism
- Will software engineering ever be engineering?
- Documenting SODA: An Evaluation of the Process Documentation Template
- Programming Open Systems with Agents, Environments and Organizations
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
- Simulate plants: a client-server graphic approach
- Towards Model-driven Communications
- A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents
- The Description Logic Handbook: Theory, Implementation, and Applications
- Exploring the Boundaries: When Method Fragmentation is not Convenient
- Exploiting Agent-Oriented Programming for Developing Android Applications
- Artificial Intelligence: A Modern Approach
- Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments
- A Biochemical Approach to Adaptive Service Ecosystems
- Engineering Self-Coordinating Software Intensive Systems
- Argumentation and Artifacts for Negotiation Support
- Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
- Logic-based decision support for strategic environmental assessment
- Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
- Process Documentation Standardization: An Initial Evaluation
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace
- Building an Agent Methodology from Fragments: the MEnSA experience
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
- WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*
- A Basis Set of Operators for Space-Time Computations
- Tutorial on Agent-based Modelling and Simulation
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient
- Interacting with Virtual Plants: a Client-Server Approach
- Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition
- Developing Web Client Applications with JaCa-Web
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems
- HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments
- Using Domain Specific Languages for platform-based software development: The case of Android
- Simulation and Analysis of Distributed Systems in Klaim
- Risk Analysis and Deployment Security Issues in a Multi-Agent System
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
- Applying Process Document Standarization to INGENIAS
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
- Transitivity in Trust. A Discussed Property
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling
- An Agent-based Model for the Pattern Formation in Drosophila Melanogaster
- A Framework for Modelling and Simulating Networks of Cells
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments
- Artificial Life XII
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
- Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study
- Formal Verification of Probabilistic Swarm Behaviours
- A Glimpse of the ASPECS Process documented with the FIPA DPDF Template
- Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy
- A Multiscale Agent-based Model of Morphogenesis in Biological Systems
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
- The O-MaSE Process: a Standard View
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
- Implementing reactive BDI agents with user-given constraints and objectives
- Chemical-Inspired Self-Composition of Competing Services
- Introducing Relevance Awareness in BDI Agents
- A Semantic eScience Portal for International Scientific and Academic Cooperation
- Embodying Organisations in Multi-Agent Work Environments
- Formalising the Environment in MAS Programming: a Formal Model
- Designing a Development Environment for Logic and Multi-Paradigm Programming
- A Formal Definition of Colture
- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
- Information, Physics, and Computation
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
- Self-Organising Coordination Systems
- Manipulation implicite d'une organisation multiagent via l'environnement
- Mathematics for Economics: A Statistical Mechanics Perspective
- Gaia4E: A Tool Supporting the Design of MAS using Gaia
- A SOA Based Software Engineering Design Approach in Service Engineering
- Special Issue “Engineering Environments in Multi-Agent Systems”
- The Craft of Prolog
- Modelling Periodic Data Dissemination in Wireless Sensor Networks
- Introducing Relevance Awareness in BDI Agents
- Declarative Specification and Verification of Service Choreographies
- An Agent-based Application for Home Intelligence
- Agent-based Modelling of Stem Cells
- A Goal-Oriented Approach for Modelling Self-organising MAS
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
- Interactive Graphical Maps for Infocenter via Model to Model Transformation
- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
- An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications
- Software Engineering: An Idea Whose Time Has Come and Gone?
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
- A Process Model of Actin Polymerisation
- Making Sense of Revision-control Systems
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
- Knowledge-based coordination with a reliable semantic subscription mechanism
- Environment Programming in CArtAgO
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
- Using Jason, MOISE, and CArtAgO to develop a team of cowboys
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
- Embodied Organisations in MAS Environments
- Towards a Logic Language and Framework for Web Programming
- A MAS Metamodel-Driven Approach to Process Fragments Selection
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
- Empirical comparison of methods for information systems development according to SOA
- An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach
- Special Track on: Agent-Oriented Software Engineering Methodologies and Systems
- Implicit Culture Framework for behavior transfer. Definition, implementation and applications
- Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments
- Parameter tuning of a stochastic biological simulator by metaheuristics
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
- On the Collective Sort Problem for Distributed Tuple Spaces
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
- A computational framework for modelling multicellular biochemistry
- An Introduction to MultiAgent Systems
- Testing Techniques for Software Agents
- Costruire sistemi software: dai modelli al codice
- Biochemical Tuple Spaces for Self-Organising Coordination
- Increasing interactivity in Agent-based Advanced Pocket-Device Service Application
- Towards a Logic Language and Framework for Web Programming
- On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition
- Simulation Methods in Systems Biology
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems
- Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
- Preface
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
- Experimenting with Stochastic Prolog as a Simulation Language
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
- On the reification of Java wildcards
- Il Milione. Viaggio nella logica computazionale in Italia
- Tool-Supported Development with Tropos: The Conference Management System Case Study
- From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS
- An experimental environment for teaching Java Security
- Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
- Integrating Java and Prolog through Generic Methods and Type Inference
- A Logic Programming Model for Web Resources
- Agent-oriented AmI Engineering
- Automating Workflow using Dialectical Argumentation
- Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
- A Multi-Theory Logic Programming Language for the World Wide Web
- Econophysics and the Current Economic Turmoil
- The BlenXLanguage: A Tutorial
- Introducing Join-Computing
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
- Designing a Development Environment for Logic and Multi-Paradigm Programming
- Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems
- Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
- RBAC-MAS & SODA: Experimenting RBAC in AOSE
- Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT
- Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology
- Model-driven Generation of Graphical Maps for e-Contents
- Special Issue “Agents, Institutions and Legal Theory”
- Smart Environments as Agent Workspaces
- Towards a Tuplespace-based Middleware for the Semantic Web
- Agent-Based Collaboration Systems: A Case Study
- Toward a Framework for Collaborative Learning based on Agent-based Technologies
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
- Lightweight Family Polymorphism
- La costruzione dei sistemi software: dai modelli al codice
- Arguments and Artifacts for Dispute Resolution
- Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems
- A Process Algebraic View of Shared Dataspace Coordination
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments
- PASSIM: a simulation-based process for the development of multi-agent systems
- A Decentralized and Ontology-Based Approach to Infrastructure Monitoring
- Argumentation and Artifact for Dialogue Support
- Argumentation and Artifacts for Intelligent Multi-agent Systems
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
- Methodologies for Designing Agent Societies
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
- Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX
- Fast self-healing gradients.
- Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education
- An Agent Framework for Ubiquitous Services
- Agent Roles: from Methodologies to Infrastructures
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study
- Agent Oriented Software Engineering VIII
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
- An Adaptation Logic Framework for Java-based Component Systems
- ReSpecT Guide
- Writing a thesis with LaTeX
- La cultura componibile. Dalla frammentazione alla disgregazione del sapere
- From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS
- Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation
- Introduction to AOSE Tools for the Conference Management System
- Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model
- Engineering Self-organising Systems with the Multiagent Paradigm
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
- The Prometheus Design Tool – A Conference Management System Case Study
- Hierarchical Modeling for Computational Biology
- A Survey of Service Oriented Development Methodologies
- Developing Multi-Agent Systems with JADE
- Evaluating Procedural Alternatives. A Case Study in E-Voting
- Invited Talk: A Process Algebra Master Equation
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
- What is “paradigm”?
- Situated Cellular Agents Approach to Crowd Modeling and Simulation
- An Agent-Oriented Programming Model for SOA & Web Services
- What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
- Integrating Software Models and Platform Models for Performance Analysis
- Using Eclipse in Building Model-driven e-Learning Supports
- Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems
- Decentralized Regulation of Distributed Systems: Beyond Access Control
- Auction Negotiation for Mobile Rideshare Service
- Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
- How to infer gene networks from expression profiles
- Context-Dependent Evaluation Methodology for Open Source Software
- A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
- Measurement and Control of Self-organised Behaviour in Robot Swarms
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
- Executable cell biology
- vLab: an Eclipse-based Virtual Laboratory
- Experiences in Automated Workflows using Dialectical Argumentation
- A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods
- RESTful Web Services
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
- ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology
- Towards Integrating Agents with Objects Tracing Systems in AmI
- Infrastructures for the Environment of Multiagent Systems
- A Survey on Context-Aware Systems
- The LighTS Tuple Space Framework and its Customization for Context-aware Applications
- Extrospection: Agents Reasoning About the Environment
- Distributed Systems. Principles and Paradigms
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
- Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
- Engineering a BPEL Orchestration Engine as a Multi-agent System
- A core calculus for correlation in orchestration languages
- Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae
- Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design
- Co-Argumentation Artifact for Agent Societies
- Intentional Systems Theory
- Supporting Requirements Analysis in Tropos: a Planning-Based Approach
- tuProlog 2.0: One Step Beyond
- Pervasive pheromone-based interaction with RFID tags
- Geo-Linda: a Geometry Aware Distributed Tuple Space
- Programming Multi-Agent Systems in AgentSpeak using Jason
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
- Guest Editorial
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
- Large Language Models in Machine Translation
- Prototyping A&A ReSpecT in Maude
- Service-Oriented Agent Methodologies
- simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
- On the Problem of Over-clustering in Tuple-based Coordination Systems
- Sistemi Distribuiti
- Exploiting the Environment for Coordinating Agent Intentions
- Preface
- On the Interplay of Crosscutting and MAS-Specific Styles
- Discrete Event Modeling and Simulation in Systems Biology
- Method fragments for agent design methodologies: from standardisation to research
- Model Checking Multi-agent systems with Logic Based Petri Nets
- A Prolog-oriented extension of Java programming based on generics and annotations
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
- Preface
- Variant path types for scalable extensibility
- Governing Environments for Agent-Based Traffic Simulations
- Agent-based modeling of multicell morphogenic processes during development
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
- Special Issue on the AgentLink III Technical Forums
- Pellet: A practical OWL-DL reasoner
- 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006)
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
- On the Expressive Power of KLAIM-based Calculi
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
- On Coordination and its Significance to Distributed and Multi-Agent Systems
- Metodologie per l'ingegneria del software: approccio ad agenti
- Socio-technical systems
- Service-Oriented Design and Development Methodology
- Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN
- Verifying Multi-agent Programs by Model Checking
- Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
- Web Services Implementation Methodology for SOA Application
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
- Interactive Computation: The New Paradigm
- Linkable Coordination Artifacts for Inter-Organisational Workflow
- Tools for kinetic modeling of biochemical networks
- SPI - A Role for Method Engineering
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
- Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
- Preface
- Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems
- WOA 2006 – Dagli Oggetti agli Agenti
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
- Fundamentals of natural computing: basic concepts, algorithms, and applications
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts
- Simulation of Minority Game in TuCSoN
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
- Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source
- Verification of Multi-agent Systems Via Bounded Model Checking
- StoKlaim: A Stochastic Extension of Klaim
- The MHS Methodology: Analysis and Design for Context-Aware Systems
- Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
- Collective Sorting Tuple Spaces
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
- A Framework for Engineering Interactions in Java-based Component Systems
- Case Studies for Self-organization in Computer Science
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
- Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications
- Special Issue “Hot Topics in European Agent Research II”
- Formal ReSpecT in the A&A Perspective
- Simulating Minority Game with TuCSoN
- Agent Coordination Contexts in a MAS Coordination Infrastructure
- Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
- Toward Nature-Inspired Computing
- A Survey of Environments and Mechanisms for Human-Human Stigmergy
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
- A Generic Large Scale Simulator for Ubiquitous Computing
- Logics for Artificial Intelligence
- Cognitive Modeling of Social Behaviours
- The World According To Brahms: Modeling and Simulating Work Practice
- Minority Game: A Logic-Based Approach in TuCSoN
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics
- OWL-S for Describing Artifacts
- A Design Theory for Pervasive Information Systems
- Multiagent Systems
- Standardizing Agent Communication
- An agent oriented tool for method engineering
- Lime: A coordination model and middleware supporting mobility of hosts and agents
- The Fading Concept in Tuple-Space Systems
- Process Calculi Abstractions for Biology
- 4th European Workshop on Multi-Agent Systems (EUMAS 2006)
- The Plausibility of Life: Resolving Darwin's Dilemma
- Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità”
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
- Developing MAS Solutions with Gaia and AUML
- Drago: Distributed reasoning architecture for the semantic web
- The Second AgentLink III Technical Forum
- Verifying Multi-agent Systems via Unbounded Model Checking
- Composition of a New Process to Meet Agile Needs Using Method Engineering
- Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
- Agent Interaction Semantics by Timed Operating Instructions
- Effective Tool Use in a Habile Agent
- Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts
- Distributed Instance Retrieval in Heterogeneous Ontologies
- Programming Stigmergic Coordination with the TOTA Middleware
- Message from the Program Chairs
- Quantitative Information in the Tuple Space Coordination Model
- Towards CSpaces: A New Perspective for the Semantic Web
- Environments in Multiagent Systems
- Engineering MAS Environment with Artifacts
- Programming Multi-Agent Systems in 3APL
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
- Special Issue “Process Algebras and Multi-Agent Systems”
- The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal
- WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi
- Declarative Agent Languages and Technologies II
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations
- Programming MAS with Artifacts
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts
- SODA: A Roadmap to Artefacts
- A Trust Analysis Methodology for Pervasive Computing Systems
- More Principled Design of Pervasive Computing Systems
- On Access Restriction with Java Wildcards
- $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems
- Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità
- Probabilistic Linda-based Coordination Languages
- Process Models for Agent-based Development
- Special Issue “Hot Topics in European Agent Research I”
- Engineering Societies in the Agents World V
- Preface
- Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies
- Self-Organization in Multi-Agent Systems
- Reliable Distributed Systems. Technologies, Web Services, and Applications
- Crowd Modeling and Simulation: Towards 3D Visualization
- Zooming Multi-Agent Systems
- Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums”
- Preface
- Coordination and Composition in Multi-agent Systems
- Preface
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
- Adaptive Agents and Multiagent Systems
- The Gaia Methodology
- Preface
- Coordination Infrastructures in the Engineering of Multiagent Systems
- Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information
- Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems
- Relevance of Winning Coalitions in Indirect Control of Corporations
- sTuples: Semantic Tuple Spaces
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
- From the Editor in Chief: Nature-Inspired Computing
- Composing Adaptive Software
- Coordination and Collaboration Activities in Cooperative Information Systems
- Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
- Engineering Trust in Complex System through Mediating Infrastructures
- Models and Metaphors from Biology to Bioinformatics Tools
- A Programming Language for Cognitive Agents: Goal Directed 3APL
- Message from the Program Chairs
- Declarative Agent Languages and Technologies
- A Conceptual Framework for Self-Organising MAS
- An Agent-oriented Conceptual Framework for Biological Systems Simulation
- Preface
- Online Engineering and Open Computational Systems
- From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools
- Agent Coordination Context: From Theory to Practice
- Verifiable Multi-agent Programs
- What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
- Probabilistic KLAIM
- Reo: A Channel-based Coordination Model for Component Composition
- Experiencing AUML in the GAIA Methodology
- Role-Based Access Control in MAS using Agent Coordination Contexts
- Engineering Societies in the Agents World IV
- Special Issue “Coordination and Collaboration Technologies”
- C@sa: Intelligent Home Control and Simulation
- Verifying Communicating Agents by Model Checking in a Temporal Action Logic
- MAS as Complex Systems: A View on the Role of Declarative Approaches
- Using Swarm Intelligence in Linda Systems
- Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
- A Semantics for the Interaction of Agents with Coordination Artifacts
- WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali
- Ant Colony Optimization
- From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs
- Decision Support Systems and Intelligent Systems
- Multi-agent Infrastructures for Objective and Subjective Coordination
- Open Directions in Agent-Oriented Software Engineering
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
- Guest Editorial
- MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN
- System Support for Pervasive Applications
- Paradigm and Software Engineering
- sTuples: Semantic Tuple Spaces
- Model Checking for ACL Compliance Verification
- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
- Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
- The Vision of Autonomic Computing
- Lean Software Development: An Agile Toolkit
- A software framework for matchmaking based on semantic web technology
- Investigations
- Architecture as a Coordination Tool in Multi-site Software Development
- Modeling Agents and their Environment
- Computation Beyond Turing Machines
- Learning the Sequential Coordinated Behavior of Teams from Observations
- Rethinking MAS Infrastructure based on Activity Theory
- Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications
- Method engineering for OO systems development
- MavHome: An Agent-based Smart Home
- Engineering Societies in the Agents World III
- WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva
- Stochastic models for DNA replication
- Adaptiveness in Linda-Based Coordination Models
- A Type-Passing Approach for the Implementation of Parametric Methods in {Java}
- Towards a Methodology for Coordination Mechanism Selection in Open Systems
- Reasoning about Organisation: Shaping the Infrastructure
- Task-Oriented Engineering of Coordinated Software Systems
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
- Quantitative Relations and Approximate Process Equivalences
- Preface
- Activity Theory as a Framework for MAS Coordination
- Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management
- Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis
- Cooperative Information Agents VII
- Coordination as a Service: Ontological and Formal Foundation
- Model Checking AgentSpeak
- Introduzione alla Programmazione a oggetti in Java
- How has the 9/11 terrorist attack influenced decision making?
- From SHIQ and RDF to OWL: The Making of a Web Ontology Language
- Developing multiagent systems: The Gaia methodology
- Preface
- Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems
- Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
- Signs of a Revolution in Computer Science and Software Engineering
- Agent-based approach for software development process simulation
- Towards a Notion of Agent Coordination Context
- The Logic of Scientific Discovery
- Coordination Tools for the Development of Agent-based Systems
- Have ReSpecT for LogOp
- Co-operating Sequential Processes
- Towards an Alternative Semantics for FIPA ACL
- Principled Design of the Modern Web Architecture
- Design Principles of a Reactive Behavioral System for the Intelligent Room
- The TROPOS Analysis Process as Graph Transformation System
- Linear Embedding for a Quantitative Comparison of Language Expressiveness
- Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology
- Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)
- Extreme Programming of Multi-Agent Systems
- Agent-Based Modeling: Methods and Techniques for Simulating Human Systems
- A Specification Language for Agents Observable Behaviour
- A Framework for Systemic Coordination in Open Computational Systems
- Virtual Enterprises and Workflow Management as Agent Coordination Issues
- Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project
- Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
- The Complementary Nature of Coordination Dynamics: Self-organization and Agency
- Objects and Agents Compared
- Modelling Agents as Observable Sources
- Tuple-based Coordination Models in Event-based Scenarios
- Computational challenges in cell simulation: a software engineering approach
- An Introduction to MultiAgent Systems
- Special Issue “Coordination and Knowledge Engineering”
- Coordination Tools for MAS Development and Deployment
- An Observation Approach to Semantics of Agents Communication Languages
- Model Checking Multi-Agent Systems with MABLE
- Agent Coordination Contexts: Experiments in TuCSoN
- Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles
- Bisimulation for Labelled Markov Processes
- A Survey of Coordination Middleware for XML-centric Applications
- Agile development of a clinical multi-agent system: An Extreme Programming case study
- On the Grey-Box Modelling Approach for Autonomous Agents
- Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
- Probabilistic Extensions of Process Algebras
- Formal ReSpecT
- Enlightened Agents in TuCSoN
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations
- Preface
- A Coordination Language for Collective Agent-based Systems: GroupLog
- Coordination as a Paradigm for Systems Integration
- Questions and Answers: Reasoning and Querying in Description Logic
- Introduction to This Special Issue on Context-Aware Computing
- Special Issue “Coordination Models and Languages in AI”
- Multi-Agent Systems and Applications
- Tuple-based Technologies for Coordination
- Multi-Agent Systems as Composition of Observable Systems
- Editorial: Why Coordination Models and Languages in AI?
- Simulation-verification: biting at the state explosion problem
- From Tuple Spaces to Tuple Centres
- Coordination of Internet Agents. Models, Technologies, and Applications
- WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
- Safe Tuplespace-based Coordination in Multiagent Systems
- The OPEN Process Framework: An Introduction
- The Anatomy of the Grid: Enabling Scalable Virtual Organizations
- Gamma and the Chemical Reaction Model: Fifteen Years After
- On the Notion of Agent Coordination Context: Preliminary Notes
- Designing Agent-Oriented Systems by Analysing Agent Interactions
- Enlightened Agents in TuCSoN
- An Approach for Method Reengineering
- Engineering Societies in the Agents World II
- Control-driven Constraint Propagation
- Special Issue “Coordination as a Paradigm for Systems Integration”
- Self Organization and Coordination
- Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People
- Statistical Physics of Spin Glasses and Information Processing: An Introduction
- Multi-Agent Systems as Composition of Observable Systems
- On the Unusual Effectiveness of Logic in Computer Science
- An Assembly Process Model for Method Engineering
- Objective Coordination in Multi-Agent System Engineering. Design and Implementation
- Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
- XML Dataspaces for the Coordination of Internet Agents
- An Algorithm for Winning Coalitions in Indirect Control of Corporations
- Introduzione alla Programmazione a oggetti in Java
- Preface: Volume 48
- Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000
- Formal ReSpecT
- On the Expressiveness of Linda Coordination Primitives
- Mind the Gap! Towards a unified view of CSCW
- Selecting a Project's Methodology
- Multiagent System Engineering: The Coordination Viewpoint
- WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
- From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems
- On Agent-Based Software Engineering
- EasyLiving: Technologies for Intelligent Environments
- Amorphous Computing
- Hybrid Coordination Models for Handling Information Exchange among Internet Agents
- Amorphous Computing
- Engineering Societies in the Agents World
- Introduzione alla Programmazione a oggetti in Java
- Folk Physics for Apes: The Chimpanzee's Theory of How the World Works
- Architectural Styles and the Design of Network-based Software Architectures
- Process Migration
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels
- Fondamenti di Informatica A (Parte II)
- Context-Dependency in Internet-Agent Coordination
- The Gaia Methodology for Agent-Oriented Analysis and Design
- Preface
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
- MARS: A Programmable Coordination Architecture for Mobile Agents
- Persistent Turing Machines as a Model of Interactive Computation
- Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
- Mathematical Models of Interactive Computing
- Implementing the ACLT Coordination Model
- On the Expressiveness of Coordination Models
- Extreme Programming Explained: Embrace Change
- Coinductive Models of Finite Computing Agents
- Meta-Modelling Based Assembly Techniques for Situational Method Engineering
- Introduction to Econophysics: Correlations and Complexity in Finance
- Coordination Technology for the Development of Multi-Agent Systems on the Web
- Engineering Multi-Agent Systems in LuCe
- Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices
- The Explorable Topology: Supporting Agent Autonomy on the Internet
- Comparing Coordination Models based on Shared Distributed Replicated Data
- Coordination Models for Multi-Agent Systems
- Hierarchical simulation approach to accurate fault modeling for system dependability evaluation
- A Methodology for Agent-Oriented Analysis and Design
- Swarm Intelligence: From Natural to Artificial Systems
- A Brief History of Stigmergy
- Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione
- Distributed Cognition, Coordination and Environment Design
- The UMASS Intelligent Home Project
- Fondamenti di Informatica A (Parte I)
- Agents with Power
- Editor's Introduction: Stigmergy
- Modeling and evaluating design alternatives for an on-line instrumentation system: a case study
- T Spaces
- A process algebraic view of Linda coordination primitives
- KLAIM: A Kernel Language for Agent Interaction and Mobility
- Collective dynamics of ‘small-world’ networks
- On the Expressive Power of KLAIM-based Calculi
- Coordination Models and Languages
- Towards a Hierarchy of Negative Test Operators for Generative Communication
- Co-ordination of Mobile Information Agents in TuCSoN
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
- Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
- On the Incomparability of Gamma and Linda
- Agent Communication Languages: Rethinking the Principles
- Designing for the Dynamics of Cooperative Work Activities
- Decision procedures for BDI logics
- Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature?
- Distributed Agents Supporting Event-Driven Design Processes
- Coordination of Mobile Agents for Information Systems: the TuCSoN Model
- Modelling Social Action for AI Agents
- Towards Empirical Computer Science
- A Comprehensive View of Process Engineering
- TuCSoN: a Coordination model for Mobile Information Agents
- A Fuzzy Description Logic
- Planning and acting in partially observable stochastic domains
- A Formal Specification of dMARS
- Intelligent Decision Support Methods: The Science of Knowledge Work
- Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work
- Designing Multi-Agent Systems around a Programmable Communication Abstraction
- Issues in Agent-Based Software Engineering
- Situational Method Engineering
- A Tutorial on (Co)Algebras and (Co)Induction
- Semantics and Conversations for an Agent Communication Language
- “Go to the Ant”: Engineering Principles from Natural Agent Systems
- Learning with an Object-Oriented Data Model
- Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9
- Expressive Power of the ACLT Reaction Specification Language
- Why Interaction Is More Powerful Than Algorithms
- Merging Logic Programming into Web-based Technology: A Coordination-based Approach
- Foundations of Distributed Artificial Intelligence
- Logic Tuple Spaces for the Coordination of Heterogeneous Agents
- Coordination Models and Languages as Software Integrators
- An Object-Oriented Approach to Planning
- The Structure of Scientific Revolutions
- A Software Environment for Concurrent Coordinated Programming
- Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
- AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
- Method engineering: engineering of information systems development methods and tools
- Bulk Primitives in Linda Run-Time Systems
- Integrating Knowledge Acquisition in Plan Selection
- BDI Agents: From Theory to Practice
- Intelligent Agents: Theory and Practice
- A distributed semantics for EMPA based on stochastic contextual nets
- Context and Consciousness: Activity Theory and Human-Computer Interaction
- Integration of object-oriented analysis and performance simulation for engineering computer-based systems
- Law-Governed Linda as a Coordination Model
- Computational Research on Interaction and Agency
- Guarantees for Autonomy in Cognitive Agent Architecture
- La programmazione logica nello sviluppo del software: dai modelli agli strumenti
- Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti
- Robot Control Systems as Contextual Logic Programs
- 1st International Conference on Multiagent Systems
- Specification and Analysis of System Architecture Using Rapide
- Reactive, Generative, and Stratified Models of Probabilistic Processes
- Programmazione Logica Orientata agli Oggetti
- Cognitive and Social Action
- A Petri Net Semantics for pi-Calculus
- A Structured Logic Programming Approach to Robot Programming
- The Interdisciplinary Study of Coordination
- A Multi-Agent Framework and Programming Environment for Autonomous Robotics
- Moving Prolog Toward Objects
- Scale in Distributed Systems
- Open Logic Theory Composition in a Software Engineering Perspective
- Distributed Programming with Logic Tuple Spaces
- Modularity in Logic Programming
- Embedding as a Tool for Language Comparison
- From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
- Foundations for Interaction: The Dependence Theory
- Agent-Oriented Programming
- Objects with State in CSM
- Elements of Interaction: Turing Award Lecture
- Tools, Language and Cognition in Human Evolution
- Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale
- Science for the post-normal age
- An Overview of Manifold and its Implementation
- Exploiting Logic Programming in Robot Applications
- The Origins of Order: Self-organization and Selection in Evolution
- A History of Speculation on the Relation between Tools and Languages
- A calculus of mobile processes, I
- Barbed Bisimulation
- Implementing Contexts in Logic Programming
- The Semantics of a Parallel Language based on a Shared Data Space
- An Abstract Architecture for Rational Agents
- Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
- A calculus of mobile processes, II
- Coordination Languages and Their Significance
- Objects as Evolving Contexts
- Design principles for cognitive artifacts
- Parallel Logic Programming using the Linda Model of Computation
- CSM User's Guide
- The Chemical Abstract Machine
- Methodology EngineeringR: a proposal for situation-specific methodology construction
- The Concept of Activity as a Basic Unit of Analysis for CSCW Research
- Separating Concurrent Languages with Categories of Language Embeddings
- Generalizing Term Subsumption Languages to Fuzzy Logic
- Quintus Prolog 3.0
- Modeling Rational Agents within a BDI Architecture
- Intelligence Without Reason
- Intelligence without Representation
- The Concurrent Language, Shared Prolog
- Cognitive Artifacts
- Equivalences, congruences, and complete axiomatizations for probabilistic processes
- The GAMMA Model and its Discipline of Programming
- IEEE Standard Glossary of Software Engineering Terminology
- What is Intention?
- Testing Equivalences and Fully Abstract Models for Probabilistic Processes
- Concepts and Paradigms of Object-oriented Programming
- Intention, Plans, and Practical Reason
- Software Processes are Software too
- Situated Actions
- Linear logic
- Reactive Reasoning and Planning
- Linda and Friends
- Spin Glass Theory and Beyond. An Introduction to the Replica Method and Its Applications
- Plans and Situated Actions: The Problem of Human-Machine Communication
- Foundations of Knowledge for Distributed Systems
- Algebra of communicating processes with abstraction
- Meta-level Programming and Knowledge Representation
- Mind in Society
- Time, Clocks, and the Ordering of Events in a Distributed System
- Mind in Society: Development of Higher Psychological Processes