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.
Agent-Oriented Software Engineering [[electronic resource] ] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge
| Agent-Oriented Software Engineering [[electronic resource] ] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 326 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-44564-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conceptual Foundations -- Agent-Oriented Software Engineering: The State of the Art -- Interaction-Oriented Programming -- Issues in Agent-Oriented Software Engineering -- Agent-Based Software Engineering -- Software Architecture Attributes of Multi-agent Systems -- UML for AOSE -- Agent UML: A Formalism for Specifying Multiagent Software Systems -- Agent-Oriented Modeling with Graph Transformation -- Representing Agent Interaction Protocols in UML -- On the Identification of Agents in the Design of Production Control Systems -- On the Identification of Agents in the Design of Production Control Systems -- Methodologies for AO Analysis and Design -- Agent Software Engineering with Role Modelling -- Designing Agent-Oriented Systems by Analysing Agent Interactions -- SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems -- A Modelling Approach for Agent Based Systems Design -- An Overview of the Multiagent Systems Engineering Methodology -- Security for Mobile Agents -- Organisational Abstractions for the Analysis and Design of Multi-agent Systems -- Reuse -- Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments -- Applications and Experiences -- Strategy Selection-Based Meta-level Reasoning for Multi-agent Problem-Solving -- Introducing the Adaptive Agent Oriented Software Architecture and Its Application in Natural Language User Interfaces -- Adding Extensible Synchronisation Capabilities to the Agent Model of a FIPA Compliant Agent Platform. |
| Record Nr. | UNISA-996466183703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge
| Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 326 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-44564-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conceptual Foundations -- Agent-Oriented Software Engineering: The State of the Art -- Interaction-Oriented Programming -- Issues in Agent-Oriented Software Engineering -- Agent-Based Software Engineering -- Software Architecture Attributes of Multi-agent Systems -- UML for AOSE -- Agent UML: A Formalism for Specifying Multiagent Software Systems -- Agent-Oriented Modeling with Graph Transformation -- Representing Agent Interaction Protocols in UML -- On the Identification of Agents in the Design of Production Control Systems -- On the Identification of Agents in the Design of Production Control Systems -- Methodologies for AO Analysis and Design -- Agent Software Engineering with Role Modelling -- Designing Agent-Oriented Systems by Analysing Agent Interactions -- SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems -- A Modelling Approach for Agent Based Systems Design -- An Overview of the Multiagent Systems Engineering Methodology -- Security for Mobile Agents -- Organisational Abstractions for the Analysis and Design of Multi-agent Systems -- Reuse -- Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments -- Applications and Experiences -- Strategy Selection-Based Meta-level Reasoning for Multi-agent Problem-Solving -- Introducing the Adaptive Agent Oriented Software Architecture and Its Application in Natural Language User Interfaces -- Adding Extensible Synchronisation Capabilities to the Agent Model of a FIPA Compliant Agent Platform. |
| Record Nr. | UNINA-9910143609803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Oriented Software Engineering II [[electronic resource] ] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini
| Agent-Oriented Software Engineering II [[electronic resource] ] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 330 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Artificial Intelligence Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-70657-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Societies and Organizations -- Representing Social Structures in UML -- Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements -- Agent Societies: Towards Frameworks-Based Design -- Protocols and Interaction Frameworks -- Bringing Coherence to Agent Conversations -- Extended Modeling Languages for Interaction Protocol Design -- A Policy Language for the Management of Distributed Agents -- UML and Agent Systems -- UML Class Diagrams Revisited in the Context of Agent-Based Systems -- Agent Oriented Analysis Using Message/UML -- Specifying Agent Interaction Protocols with Standard UML -- Agents and the UML: A Unified Notation for Agents and Multi-agent Systems? -- Agent-Oriented Requirements Capture & Specification -- Modeling Early Requirements in Tropos: A Transformation Based Approach -- A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems -- Determining When to Use an Agent-Oriented Software Engineering Paradigm -- Agent-Oriented Modelling: Software versus the World -- Analysis and Design -- Expectation-Oriented Analysis and Design -- Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations -- Towards an ADL for Designing Agent-Based Systems -- Automated Derivation of Complex Agent Architectures from Analysis Specifications -- A Lifecycle for Models of Large Multi-agent Systems. |
| Record Nr. | UNISA-996465936603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini
| Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 330 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Artificial Intelligence Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-70657-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Societies and Organizations -- Representing Social Structures in UML -- Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements -- Agent Societies: Towards Frameworks-Based Design -- Protocols and Interaction Frameworks -- Bringing Coherence to Agent Conversations -- Extended Modeling Languages for Interaction Protocol Design -- A Policy Language for the Management of Distributed Agents -- UML and Agent Systems -- UML Class Diagrams Revisited in the Context of Agent-Based Systems -- Agent Oriented Analysis Using Message/UML -- Specifying Agent Interaction Protocols with Standard UML -- Agents and the UML: A Unified Notation for Agents and Multi-agent Systems? -- Agent-Oriented Requirements Capture & Specification -- Modeling Early Requirements in Tropos: A Transformation Based Approach -- A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems -- Determining When to Use an Agent-Oriented Software Engineering Paradigm -- Agent-Oriented Modelling: Software versus the World -- Analysis and Design -- Expectation-Oriented Analysis and Design -- Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations -- Towards an ADL for Designing Agent-Based Systems -- Automated Derivation of Complex Agent Architectures from Analysis Specifications -- A Lifecycle for Models of Large Multi-agent Systems. |
| Record Nr. | UNINA-9910767516703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Languages and Models [[electronic resource] ] : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. / / edited by Paolo Ciancarini, Chris Hankin
| Coordination Languages and Models [[electronic resource] ] : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. / / edited by Paolo Ciancarini, Chris Hankin |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XI, 452 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Computer programming Computer communication systems Computers Computer System Implementation Programming Techniques Computer Communication Networks Computation by Abstract Devices |
| ISBN | 3-540-49936-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Parallel multiset processing: From explicit coordination to chemical reaction -- Graph rewriting and constraint solving for modelling distributed systems with synchronization (extended abstract) -- Coordination as constrained interaction (extended abstract) -- The IWIM model for coordination of concurrent activities -- Sonia: An adaptation of Linda for coordination of activities in organizations -- The ToolBus coordination architecture -- Enhancing coordination and modularity mechanisms for a language with objects-as-multisets -- Towards a compositional method for coordinating Gamma programs -- Introducing a calculus for higher-order multiset programming -- ?2Log: Towards remote coordination -- A process algebra based on Linda -- Intra- and inter-object coordination with MESSENGERS -- Ariadne and HOPLa: Flexible coordination of collaborative processes -- Coordination in the ImpUnity framework -- Compiler correctness for concurrent languages -- A software environment for concurrent coordinated programming -- Designing a coordination model for open systems -- CCE: A process-calculus based formalism for specifying multi-object coordination -- An extensible framework for the development of coordinated applications -- Broadcasting in time -- Semantics of a higher-order coordination language -- Solving the Linda multiple rd problem -- Coordinating distributed objects with declarative interfaces -- Coordinating services in open distributed systems with Laura -- Visifold: A visual environment for a coordination language -- ALWAN: A skeleton programming language -- Weaving the Web using coordination -- Investigating strategies for cooperative planning of independent agents through prototype evaluation -- A case study of integration of a software process management system with software engineering environments for process monitoring and management -- Nepi: A network programming language based on the ?-calculus -- Modelling interoperability by CHAM: A case study -- Integrating coordination features in PVM -- A simulator framework for embedded systems -- Understanding behavior of business process models. |
| Record Nr. | UNISA-996465870503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / / edited by Paolo Ciancarini, Herbert Wiklicky
| Coordination Models and Languages [[electronic resource] ] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings / / edited by Paolo Ciancarini, Herbert Wiklicky |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 299 p.) |
| Disciplina | 004/.35 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Software engineering Special purpose computers Computer programming Computers Computer System Implementation Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems Programming Techniques Computation by Abstract Devices |
| ISBN | 3-540-34695-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Stochastic Reasoning About Channel-Based Component Connectors -- Atomic Commit and Negotiation in Service Oriented Computing -- Synthesizing Concurrency Control Components from Process Algebraic Specifications -- Automated Evaluation of Coordination Approaches -- Choreography and Orchestration Conformance for System Design -- Workflow Patterns in Orc -- Evolution On-the-Fly with Paradigm -- Formalising Business Process Execution with Bigraphs and Reactive XML -- Enabling Ubiquitous Coordination Using Application Sessions -- A WSDL-Based Type System for WS-BPEL -- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements -- A Logical View of Choreography -- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks -- Coordinating Computation with Communication -- Distributed Workflow upon Linkable Coordination Artifacts -- Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems -- Tuple Space Coordination Across Space and Time -- Compositional Semantics of an Actor-Based Language Using Constraint Automata. |
| Record Nr. | UNISA-996465524503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Handbook of Digital Games and Entertainment Technologies [[electronic resource] /] / edited by Ryohei Nakatsu, Matthias Rauterberg, Paolo Ciancarini
| Handbook of Digital Games and Entertainment Technologies [[electronic resource] /] / edited by Ryohei Nakatsu, Matthias Rauterberg, Paolo Ciancarini |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (Approx. 1200 p. 200 illus., 100 illus. in color.) |
| Disciplina | 006.3 |
| Soggetto topico |
Computational intelligence
User interfaces (Computer systems) Computer science—Mathematics Computer mathematics Mass media Communication Computational Intelligence User Interfaces and Human Computer Interaction Mathematical Applications in Computer Science Media Sociology |
| ISBN | 981-4560-52-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910337619203321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Engineering and Knowledge Management [[electronic resource] ] : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers / / edited by Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti
| Knowledge Engineering and Knowledge Management [[electronic resource] ] : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers / / edited by Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 288 p. 61 illus.) |
| Disciplina | 006.331 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Natural language processing (Computer science) Mathematical logic Data mining Application software Artificial Intelligence Natural Language Processing (NLP) Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-58694-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466316703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Engineering and Knowledge Management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers / / edited by Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti
| Knowledge Engineering and Knowledge Management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers / / edited by Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 288 p. 61 illus.) |
| Disciplina | 006.331 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Natural language processing (Computer science) Mathematical logic Data mining Application software Artificial Intelligence Natural Language Processing (NLP) Mathematical Logic and Formal Languages Data Mining and Knowledge Discovery Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-58694-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910485035103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Engineering and Knowledge Management [[electronic resource] ] : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / / edited by Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali
| Knowledge Engineering and Knowledge Management [[electronic resource] ] : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / / edited by Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 806 p. 167 illus.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Database management Data mining Software engineering Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Software Engineering |
| ISBN | 3-319-49004-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465867803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
