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.
Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos
| Coordination Models and Languages [[electronic resource] ] : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings / / edited by John Field, Vasco Thudichum Vasconcelos |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 307 p.) |
| Disciplina | 005.27 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Computer programming Computers Application software Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Techniques Software Engineering Models and Principles Information Systems Applications (incl. Internet) |
| Soggetto genere / forma |
Kongress.
Lissabon (2009) |
| ISBN | 3-642-02053-4 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems. |
| Record Nr. | UNISA-996465429103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination models and languages : 11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. proceedings / / John Field, Vasco T. Vasconcelos
| Coordination models and languages : 11th international conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. proceedings / / John Field, Vasco T. Vasconcelos |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2009 |
| Descrizione fisica | 1 online resource (XII, 307 p.) |
| Disciplina | 005.27 |
| Altri autori (Persone) |
FieldJohn
VasconcelosVasco T |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Parallel processing (Electronic computers)
Electronic data processing - Distributed processing |
| ISBN | 3-642-02053-4 |
| Classificazione |
DAT 310f
DAT 350f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems. |
| Record Nr. | UNINA-9910484496503321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
What a difference workplace learning makes [[electronic resource] ] : selected papers from the Centre for research in lifelong learning conference, Stirling, Scotland, 24-26 June 2005 / / guest editor: John Field
| What a difference workplace learning makes [[electronic resource] ] : selected papers from the Centre for research in lifelong learning conference, Stirling, Scotland, 24-26 June 2005 / / guest editor: John Field |
| Pubbl/distr/stampa | Bradford, England, : Emerald Group Publishing, c2006 |
| Descrizione fisica | 1 online resource (71 p.) |
| Altri autori (Persone) | FieldJohn |
| Collana | Journal of Workplace Learning |
| Soggetto topico |
Employees - Training of
Occupational training |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-70581-7
9786610705818 1-84663-107-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; CONTENTS; EDITORIAL ADVISORY BOARD; Guest editorial; Circles of practice: educational and professional graphic design; Mentor or evaluator? Assisting and assessing newcomers to the professions; Online learning dialogues in learning through work; Virtual learning communities as a vehicle for workforce development: a case study; Individual learning accounts: a strategy for lifelong learning?; |
| Record Nr. | UNINA-9910450726903321 |
| Bradford, England, : Emerald Group Publishing, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
What a difference workplace learning makes [[electronic resource] ] : selected papers from the Centre for research in lifelong learning conference, Stirling, Scotland, 24-26 June 2005 / / guest editor: John Field
| What a difference workplace learning makes [[electronic resource] ] : selected papers from the Centre for research in lifelong learning conference, Stirling, Scotland, 24-26 June 2005 / / guest editor: John Field |
| Pubbl/distr/stampa | Bradford, England, : Emerald Group Publishing, c2006 |
| Descrizione fisica | 1 online resource (71 p.) |
| Altri autori (Persone) | FieldJohn |
| Collana | Journal of Workplace Learning |
| Soggetto topico |
Employees - Training of
Occupational training |
| ISBN |
1-280-70581-7
9786610705818 1-84663-107-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; CONTENTS; EDITORIAL ADVISORY BOARD; Guest editorial; Circles of practice: educational and professional graphic design; Mentor or evaluator? Assisting and assessing newcomers to the professions; Online learning dialogues in learning through work; Virtual learning communities as a vehicle for workforce development: a case study; Individual learning accounts: a strategy for lifelong learning?; |
| Record Nr. | UNINA-9910784020203321 |
| Bradford, England, : Emerald Group Publishing, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||