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.
Object-Based Parallel and Distributed Computation [[electronic resource] ] : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers / / edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
| Object-Based Parallel and Distributed Computation [[electronic resource] ] : France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers / / edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XI, 354 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Computer programming Computers Computer communication systems Software engineering Operating systems (Computers) Computer System Implementation Programming Techniques Computation by Abstract Devices Computer Communication Networks Software Engineering Operating Systems |
| ISBN | 3-540-68672-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data parallel programming in the parallel object-oriented language OCore -- Polymorphic matrices in paladin -- Programming and debugging for massive parallelism: The case for a parallel object-oriented language A-NETL -- Schematic: A concurrent object-oriented extension to Scheme -- (Thread and Object)-Oriented Distributed Programming -- Distributed and object oriented symbolic programming in April -- Reactive programming in Eiffel// -- Proofs, concurrent objects and computations in a FILL framework -- Modular description and verification of concurrent objects -- CHORUS/COOL CHORUS Object oriented technology -- Adaptive operating system design using reflection -- Isatis: A customizable distributed object-based runtime system -- Lessons from designing and implementing GARF -- Design and implementation of DROL runtime environment on Real-Time Mach kernel -- ActNet: The actor model applied to mobile robotic environments -- Component-based programming and application management with olan -- The version management architecture of an object-oriented distributed systems environment: OZ++ -- Formal semantics of agent evolution in language flage. |
| Record Nr. | UNISA-996465662003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah
| Programming Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 285 p. 57 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Computer simulation Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Simulation and Modeling |
| ISBN |
1-280-38819-6
9786613566119 3-642-14843-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communication Models -- Programming Multiagent Systems without Programming Agents -- Elements of a Business-Level Architecture for Multiagent Systems -- A Computational Semantics for Communicating Rational Agents Based on Mental Models -- Formal Models -- Multi-Agent Systems: Modeling and Verification Using Hybrid Automata -- Probabilistic Behavioural State Machines -- Golog Speaks the BDI Language -- Organizations and Environments -- A Middleware for Modeling Organizations and Roles in Jade -- An Open Architecture for Service-Oriented Virtual Organizations -- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments -- Analysis and Debugging -- Debugging BDI-Based Multi-Agent Programs -- Space-Time Diagram Generation for Profiling Multi Agent Systems -- Infrastructure for Forensic Analysis of Multi-Agent Based Simulations -- Agent Architectures -- Representing Long-Term and Interest BDI Goals -- Introducing Relevance Awareness in BDI Agents -- Modularity and Compositionality in Jason -- Applications -- A MultiAgent System for Monitoring Boats in Marine Reserves -- Agent-Oriented Control in Real-Time Computer Games. |
| Record Nr. | UNISA-996465922303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming multi-agent systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009 : revised selected papers / / Lars Braubach, Jean-Pierre Briot, John Thangarajah (eds.)
| Programming multi-agent systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009 : revised selected papers / / Lars Braubach, Jean-Pierre Briot, John Thangarajah (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 285 p. 57 illus.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BraubachLars
BriotJean-Pierre ThangarajahJohn |
| Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Intelligent agents (Computer software)
Multiagent systems |
| ISBN |
1-280-38819-6
9786613566119 3-642-14843-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Communication models -- 2. Formal models -- 3. Organizations and environments -- 4. Analysis and debugging -- 5. Agent architectures -- 6. Applications. |
| Record Nr. | UNINA-9910483545803321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||