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.
Concurrent Objects and Beyond [[electronic resource] ] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
| Concurrent Objects and Beyond [[electronic resource] ] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXXVI, 447 p. 136 illus.) |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Programming languages (Electronic computers) Operating systems (Computers) Computer programming Software Engineering Artificial Intelligence Programming Languages, Compilers, Interpreters Operating Systems Programming Techniques |
| ISBN | 3-662-44471-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | My Early Education and Concurrent Objects -- Object-Oriented Concurrent Programming in ABCL/1 -- Reflection in an Object-Oriented Concurrent Language -- Building Safe Concurrency Abstractions -- Structuring Communication with Session Types -- From Linear Types to Behavioral Types and Model Checking -- SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency -- Past and Future Directions for Concurrent Task Scheduling -- Controlling Concurrency and Expressing Synchronization in Charm++ Programs -- MassiveThreads: A Thread Library for High Productivity Languages -- On Efficient Load Balancing for Irregular Applications -- Verifiable Object-Oriented Transactions -- Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks -- Objects in Space -- Towards a Substrate Framework of Computation -- Event-Based Modularization of Reactive Systems -- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL. |
| Record Nr. | UNISA-996199680703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
| Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXXVI, 447 p. 136 illus.) |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Programming languages (Electronic computers) Operating systems (Computers) Computer programming Software Engineering Artificial Intelligence Programming Languages, Compilers, Interpreters Operating Systems Programming Techniques |
| ISBN | 3-662-44471-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | My Early Education and Concurrent Objects -- Object-Oriented Concurrent Programming in ABCL/1 -- Reflection in an Object-Oriented Concurrent Language -- Building Safe Concurrency Abstractions -- Structuring Communication with Session Types -- From Linear Types to Behavioral Types and Model Checking -- SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency -- Past and Future Directions for Concurrent Task Scheduling -- Controlling Concurrency and Expressing Synchronization in Charm++ Programs -- MassiveThreads: A Thread Library for High Productivity Languages -- On Efficient Load Balancing for Irregular Applications -- Verifiable Object-Oriented Transactions -- Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks -- Objects in Space -- Towards a Substrate Framework of Computation -- Event-Based Modularization of Reactive Systems -- From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL. |
| Record Nr. | UNINA-9910484943803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by David Clarke, Gul Agha
| Coordination Models and Languages [[electronic resource] ] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / / edited by David Clarke, Gul Agha |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 183 p. 50 illus.) |
| Disciplina | 005.27 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Architecture, Computer
Software engineering Computer communication systems Computer programming Computers Computer System Implementation Software Engineering/Programming and Operating Systems Computer Communication Networks Software Engineering Programming Techniques Models and Principles |
| ISBN |
1-280-38689-4
9786613564818 3-642-13414-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request-Response Operations -- NOW: A Workflow Language for Orchestration in Nomadic Networks -- A Calculus for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks -- Compositional Construction of Real-Time Dataflow Networks -- Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks -- Simulation and Analysis of Distributed Systems in Klaim -- Modelling Railway Interlocking Tables Using Coloured Petri Nets -- Efficient Session Type Guided Distributed Interaction -- Scalable Efficient Composite Event Detection. |
| Record Nr. | UNISA-996465858503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling: Actors; Open Systems, Biological Systems [[electronic resource] ] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / / edited by Gul Agha, Olivier Danvy, José Meseguer
| Formal Modeling: Actors; Open Systems, Biological Systems [[electronic resource] ] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / / edited by Gul Agha, Olivier Danvy, José Meseguer |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XX, 447 p.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-642-24933-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two PhD Students for the Price of One -- Honoring Carolyn Talcott’s Contributions to Science -- Ten Years of Analyzing Actors: Rebeca Experience -- Mathematical Models of Object-Based Distributed Systems -- From Explicit to Symbolic Types for Communication Protocols in CCS -- Abstract LR-Parsing -- Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision -- Model Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology for Compositional Cross-Layer Optimization -- From Service Identification to Service Selection: An Interleaved Perspective -- Towards a System Model for Ensembles -- Algorithmic Aspects of Risk Management -- Parameterized Metareasoning in Membership Equational Logic -- Fast Sort Computations for Order-Sorted Matching and Unification -- Solving the First Verified Software Competition Problems Using PVS -- Towards a Maude Formal Environment -- Multisimulations: Towards Next Generation Integrated Simulation Environments -- Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude -- Computational Biology: A Programming Perspective -- Applications of Pathway Logic Modeling to Target Identification. |
| Record Nr. | UNISA-996465956203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt
| Quantitative Evaluation of Systems [[electronic resource] ] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 382 p. 91 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer simulation Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation Computer Modelling |
| ISBN | 3-319-43425-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks. |
| Record Nr. | UNISA-996466036403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt
| Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / / edited by Gul Agha, Benny Van Houdt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 382 p. 91 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer simulation Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science Theory of Computation Computer Modelling |
| ISBN | 3-319-43425-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks. |
| Record Nr. | UNINA-9910483849703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||