Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Engineering Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci
| Engineering Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 351 p. 150 illus., 33 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Artificial Intelligence Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-030-25693-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering Multi-Agent Systems Anno 2025 -- Pitfalls of Jason Concurrency AgentSpeak(ER): Enhanced Encapsulation in Agent Plans -- Agent-Oriented Software Engineering -- Designing Multi-Agent Systems from Ontology Models -- Engineering Self-Adaptive Aystems: from Experiences with MUSA -- A Programming Model for Developing Protocolcompliant Agents -- Formal Analysis and Techniques -- Belief Shadowing -- Empathic Autonomous Agents -- Dynamic Global Behaviour of Online Routing Games -- A Sanctioning Enforcement Framework -- Adding Organizational Reasoning to Agent-Based Simulations in GAMA -- An Agent-based Model for Analyzing Radicalism Spread Using Agent-based Social Simulation -- Engineering World-Wide Multi-Agent Systems with Hypermedia -- Designing a Cognitive Agent Connector for Complex Environments: A Case Study with StarCraft -- Decision Process in Human-Agent Interaction -- Exposing Agents as Web Services in JADE. |
| Record Nr. | UNISA-996466347703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci
| Engineering Multi-Agent Systems : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 351 p. 150 illus., 33 illus. in color.) |
| Disciplina |
006.3
006.30285436 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Artificial Intelligence Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-030-25693-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering Multi-Agent Systems Anno 2025 -- Pitfalls of Jason Concurrency AgentSpeak(ER): Enhanced Encapsulation in Agent Plans -- Agent-Oriented Software Engineering -- Designing Multi-Agent Systems from Ontology Models -- Engineering Self-Adaptive Aystems: from Experiences with MUSA -- A Programming Model for Developing Protocolcompliant Agents -- Formal Analysis and Techniques -- Belief Shadowing -- Empathic Autonomous Agents -- Dynamic Global Behaviour of Online Routing Games -- A Sanctioning Enforcement Framework -- Adding Organizational Reasoning to Agent-Based Simulations in GAMA -- An Agent-based Model for Analyzing Radicalism Spread Using Agent-based Social Simulation -- Engineering World-Wide Multi-Agent Systems with Hypermedia -- Designing a Cognitive Agent Connector for Complex Environments: A Case Study with StarCraft -- Decision Process in Human-Agent Interaction -- Exposing Agents as Web Services in JADE. |
| Record Nr. | UNINA-9910349313003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son
| Engineering Multi-Agent Systems [[electronic resource] ] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 199 p. 54 illus.) |
| Disciplina | 620 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Computer communication systems Mathematical logic Computers and civilization Artificial Intelligence Software Engineering Programming Techniques Computer Communication Networks Mathematical Logic and Formal Languages Computers and Society |
| ISBN | 3-319-91899-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cross-fertilisation of ideas and experiences in the various fields with the aim to enhance knowledge and expertise in MAS engineering -- Improving the state-of-the-art -- Defining new directions for MAS engineering-. Investigating how established methodologies for engineering and large-scale and open MAS can be adapted. |
| Record Nr. | UNISA-996465816803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son
| Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 199 p. 54 illus.) |
| Disciplina | 620 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Computer communication systems Mathematical logic Computers and civilization Artificial Intelligence Software Engineering Programming Techniques Computer Communication Networks Mathematical Logic and Formal Languages Computers and Society |
| ISBN | 3-319-91899-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cross-fertilisation of ideas and experiences in the various fields with the aim to enhance knowledge and expertise in MAS engineering -- Improving the state-of-the-art -- Defining new directions for MAS engineering-. Investigating how established methodologies for engineering and large-scale and open MAS can be adapted. |
| Record Nr. | UNINA-9910349428303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Societies in the Agents World VI [[electronic resource] ] : 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / / edited by Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
| Engineering Societies in the Agents World VI [[electronic resource] ] : 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / / edited by Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 303 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Computer simulation Application software Artificial Intelligence Computer Communication Networks Software Engineering Programming Techniques Simulation and Modeling Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-34452-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Oriented System Development -- Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform -- Agent Information Server: A Middleware for Traveler Information -- A Role Model for Description of Agent Behavior and Coordination -- Multi-agent Systems Environment -- SODA: A Roadmap to Artefacts -- From Reactive Robotics to Situated Multiagent Systems -- Protocols, Verification -- Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols -- Security Protocols Verification in Abductive Logic Programming: A Case Study -- Complex Adaptive Systems -- Engineering Complex Adaptive Systems Using Situated Multi-agents -- Techniques for Multi-agent System Reorganization -- Implementing a Multi-agent Organization that Changes Its Fault Tolerance Policy at Run-Time -- Predicting Exceptions in Agent-Based Supply-Chains -- Agent Oriented Simulation -- Preserving Variability in Sexual Multi-agent Systems with Diploidy and Dominance -- Towards a Methodology for Situated Cellular Agent Based Crowd Simulations -- Networks, Ambient Intelligence -- QoS Management in MANETs Using Norm-Governed Agent Societies -- Collaborative Agent Tuning: Performance Enhancement on Mobile Devices -- Deliberative Agents and Social Aspect -- Cultural Agents: A Community of Minds -- Language Games for Meaning Negotiation Between Human and Computer Agents -- Using Socially Deliberating Agents in Organized Settings. |
| Record Nr. | UNISA-996465887803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Societies in the Agents World VI : 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / / edited by Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
| Engineering Societies in the Agents World VI : 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / / edited by Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 303 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Computer simulation Application software Artificial Intelligence Computer Communication Networks Software Engineering Programming Techniques Simulation and Modeling Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-34452-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Oriented System Development -- Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform -- Agent Information Server: A Middleware for Traveler Information -- A Role Model for Description of Agent Behavior and Coordination -- Multi-agent Systems Environment -- SODA: A Roadmap to Artefacts -- From Reactive Robotics to Situated Multiagent Systems -- Protocols, Verification -- Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols -- Security Protocols Verification in Abductive Logic Programming: A Case Study -- Complex Adaptive Systems -- Engineering Complex Adaptive Systems Using Situated Multi-agents -- Techniques for Multi-agent System Reorganization -- Implementing a Multi-agent Organization that Changes Its Fault Tolerance Policy at Run-Time -- Predicting Exceptions in Agent-Based Supply-Chains -- Agent Oriented Simulation -- Preserving Variability in Sexual Multi-agent Systems with Diploidy and Dominance -- Towards a Methodology for Situated Cellular Agent Based Crowd Simulations -- Networks, Ambient Intelligence -- QoS Management in MANETs Using Norm-Governed Agent Societies -- Collaborative Agent Tuning: Performance Enhancement on Mobile Devices -- Deliberative Agents and Social Aspect -- Cultural Agents: A Community of Minds -- Language Games for Meaning Negotiation Between Human and Computer Agents -- Using Socially Deliberating Agents in Organized Settings. |
| Record Nr. | UNINA-9910483902503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Societies in the Agents World VII [[electronic resource] ] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / / edited by Gregory O’Hare, Alessandro Ricci, Michael O’Grady, Oguz Dikenelli
| Engineering Societies in the Agents World VII [[electronic resource] ] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / / edited by Gregory O’Hare, Alessandro Ricci, Michael O’Grady, Oguz Dikenelli |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 401 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Computer simulation Application software Artificial Intelligence Computer Communication Networks Software Engineering Programming Techniques Simulation and Modeling Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-75524-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering of Multi-agent Systems -- “It’s Not Just Goals All the Way Down” – “It’s Activities All the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues in Multi-Agent Systems Development -- Architecture-Centric Software Development of Situated Multiagent Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design, Development and Verification of Agent Societies -- Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions -- Model Driven Development of Multi-Agent Systems with Repositories of Social Patterns -- A Norm-Governed Systems Perspective of Ad Hoc Networks -- Interaction and Coordination in Agent Societies -- A Definition of Exceptions in Agent-Oriented Computing -- Toward an Ontology of Regulation: Socially-Based Support for Coordination in Human and Machine Joint Activity -- An Algorithm for Conflict Resolution in Regulated Compound Activities -- Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach -- Formal Modelling of a Coordination System: From Practice to Theory, and Back Again -- Autonomic Agent Societies -- Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols -- Dynamic Specifications in Norm-Governed Open Computational Societies -- Enhancing Self-organising Emergent Systems Design with Simulation -- Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents -- Managing Resources in Constrained Environments with Autonomous Agents -- Trust in Agent Societies -- Towards a Computational Model of Creative Societies Using Curious Design Agents -- Privacy Management in User-Centred Multi-agent Systems -- Effective Use of Organisational Abstractions for Confidence Models -- Competence Checking for the Global E-Service Society Using Games. |
| Record Nr. | UNISA-996466089103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Societies in the Agents World VII : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / / edited by Gregory O’Hare, Alessandro Ricci, Michael O’Grady, Oguz Dikenelli
| Engineering Societies in the Agents World VII : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / / edited by Gregory O’Hare, Alessandro Ricci, Michael O’Grady, Oguz Dikenelli |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 401 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Computer simulation Application software Artificial Intelligence Computer Communication Networks Software Engineering Programming Techniques Simulation and Modeling Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-75524-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering of Multi-agent Systems -- “It’s Not Just Goals All the Way Down” – “It’s Activities All the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues in Multi-Agent Systems Development -- Architecture-Centric Software Development of Situated Multiagent Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design, Development and Verification of Agent Societies -- Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions -- Model Driven Development of Multi-Agent Systems with Repositories of Social Patterns -- A Norm-Governed Systems Perspective of Ad Hoc Networks -- Interaction and Coordination in Agent Societies -- A Definition of Exceptions in Agent-Oriented Computing -- Toward an Ontology of Regulation: Socially-Based Support for Coordination in Human and Machine Joint Activity -- An Algorithm for Conflict Resolution in Regulated Compound Activities -- Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach -- Formal Modelling of a Coordination System: From Practice to Theory, and Back Again -- Autonomic Agent Societies -- Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols -- Dynamic Specifications in Norm-Governed Open Computational Societies -- Enhancing Self-organising Emergent Systems Design with Simulation -- Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents -- Managing Resources in Constrained Environments with Autonomous Agents -- Trust in Agent Societies -- Towards a Computational Model of Creative Societies Using Curious Design Agents -- Privacy Management in User-Centred Multi-agent Systems -- Effective Use of Organisational Abstractions for Confidence Models -- Competence Checking for the Global E-Service Society Using Games. |
| Record Nr. | UNINA-9910483695103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming with Actors [[electronic resource] ] : State-of-the-Art and Research Perspectives / / edited by Alessandro Ricci, Philipp Haller
| Programming with Actors [[electronic resource] ] : State-of-the-Art and Research Perspectives / / edited by Alessandro Ricci, Philipp Haller |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (IX, 245 p. 86 illus.) |
| Disciplina | 005.275 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Special purpose computers Architecture, Computer Programming languages (Electronic computers) Programming Techniques Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Programming Languages, Compilers, Interpreters |
| ISBN | 3-030-00302-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Web Programming - Parallel and Distributed Web Programming with Actors -- Data-intensive Parallel Programming - OpenCL Actors - Adding Data Parallelism to Actor-based Programming with CAF -- Mobile Computing - AmbientJS: A Mobile Cross-platform Actor Library for Multi-networked Mobile Applications -- Self-Organizing Systems - Programming Actor-based Collective Adaptive Systems -- Scheduling - Pluggable Scheduling for the Reactor Programming Model -- Debugging - A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs -- Communication and Coordination - A Model for Separating Communication Concerns of Concurrent Systems -- Monitoring - A Homogeneous Actor-Based Monitor Language for Adaptive Behavior. . |
| Record Nr. | UNISA-996466434503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming with Actors : State-of-the-Art and Research Perspectives / / edited by Alessandro Ricci, Philipp Haller
| Programming with Actors : State-of-the-Art and Research Perspectives / / edited by Alessandro Ricci, Philipp Haller |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (IX, 245 p. 86 illus.) |
| Disciplina |
005.275
006.30285436 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Special purpose computers Architecture, Computer Programming languages (Electronic computers) Programming Techniques Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Programming Languages, Compilers, Interpreters |
| ISBN | 3-030-00302-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Web Programming - Parallel and Distributed Web Programming with Actors -- Data-intensive Parallel Programming - OpenCL Actors - Adding Data Parallelism to Actor-based Programming with CAF -- Mobile Computing - AmbientJS: A Mobile Cross-platform Actor Library for Multi-networked Mobile Applications -- Self-Organizing Systems - Programming Actor-based Collective Adaptive Systems -- Scheduling - Pluggable Scheduling for the Reactor Programming Model -- Debugging - A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs -- Communication and Coordination - A Model for Separating Communication Concerns of Concurrent Systems -- Monitoring - A Homogeneous Actor-Based Monitor Language for Adaptive Behavior. . |
| Record Nr. | UNINA-9910349407403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||