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.
C&T 2015 : 7th International Conference on Communities and Technologies : conference proceedings : 27-30 June 2015, Limerick, Ireland
| C&T 2015 : 7th International Conference on Communities and Technologies : conference proceedings : 27-30 June 2015, Limerick, Ireland |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2015 |
| Descrizione fisica | 1 online resource (167 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| ISBN | 1-4503-3460-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Communities and Technologies 2015
Proceedings of the 7th International Conference on Communities and Technologies C&T '15 Communities and Technologies 2015, Limerick, Ireland - June 27 - 30, 2015 |
| Record Nr. | UNINA-9910376602903321 |
| [Place of publication not identified], : ACM, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concurrent Object-Oriented Programming and Petri Nets [[electronic resource] ] : Advances in Petri Nets / / edited by Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg
| Concurrent Object-Oriented Programming and Petri Nets [[electronic resource] ] : Advances in Petri Nets / / edited by Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 544 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Computer communication systems Computer science—Mathematics Information technology Business—Data processing Software Engineering/Programming and Operating Systems Computation by Abstract Devices Logics and Meanings of Programs Computer Communication Networks Discrete Mathematics in Computer Science IT in Business |
| ISBN | 3-540-45397-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I -- Object Oriented Modelling with Object Petri Nets -- Using Petri Nets for Specifying Active Objects and Generative Communication -- Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism -- CLOWN as a Testbed for Concurrent Object-Oriented Concepts -- Concurrency in Communicating Object Petri Nets -- Object Orientation in Hierarchical Predicate Transition Nets -- CoOperative Objects: Principles, Use and Implementation -- OB(PN)2: An Object Based Petri Net Programming Notation -- On Formalizing UML with High-Level Petri Nets -- Section II -- Modeling a Groupware Editing Tool with Cooperative Objects -- Modelling Constrained Geometric Objects with OBJSA Nets -- An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment -- KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects -- Modeling of a Library with THORNs -- Inheritance of Dynamic Behavior Development of a Groupware Editor -- Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling -- Section III -- An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study -- Formal Reasoning about Actor Programs Using Temporal Logic -- Flexible Types for a Concurrent Model -- High Level Transition Systems for Communicating Agents -- Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets -- Control Properties in Object-Oriented Specifications -- Case Studies -- A Cooperative Petri Net Editor -- The Hurried Philosophers. |
| Record Nr. | UNISA-996465715003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets / / edited by Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg
| Concurrent Object-Oriented Programming and Petri Nets : Advances in Petri Nets / / edited by Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VIII, 544 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Computer logic Computer communication systems Computer science—Mathematics Information technology Business—Data processing Software Engineering/Programming and Operating Systems Computation by Abstract Devices Logics and Meanings of Programs Computer Communication Networks Discrete Mathematics in Computer Science IT in Business |
| ISBN | 3-540-45397-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I -- Object Oriented Modelling with Object Petri Nets -- Using Petri Nets for Specifying Active Objects and Generative Communication -- Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism -- CLOWN as a Testbed for Concurrent Object-Oriented Concepts -- Concurrency in Communicating Object Petri Nets -- Object Orientation in Hierarchical Predicate Transition Nets -- CoOperative Objects: Principles, Use and Implementation -- OB(PN)2: An Object Based Petri Net Programming Notation -- On Formalizing UML with High-Level Petri Nets -- Section II -- Modeling a Groupware Editing Tool with Cooperative Objects -- Modelling Constrained Geometric Objects with OBJSA Nets -- An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment -- KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects -- Modeling of a Library with THORNs -- Inheritance of Dynamic Behavior Development of a Groupware Editor -- Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling -- Section III -- An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study -- Formal Reasoning about Actor Programs Using Temporal Logic -- Flexible Types for a Concurrent Model -- High Level Transition Systems for Communicating Agents -- Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets -- Control Properties in Object-Oriented Specifications -- Case Studies -- A Cooperative Petri Net Editor -- The Hurried Philosophers. |
| Record Nr. | UNINA-9910767541303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PDC 2004 : artful integration : interweaving media, materials, and practices : proceedings of the eighth Participatory Design Conference 2004 : July 27-31, 2004, Toronto, Canada
| PDC 2004 : artful integration : interweaving media, materials, and practices : proceedings of the eighth Participatory Design Conference 2004 : July 27-31, 2004, Toronto, Canada |
| Autore | Clement Andrew |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2004 |
| Descrizione fisica | 1 online resource (245 pages) |
| Disciplina | 004/.01/9 |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
PDC '04 : proceedings of the eighth conference on Participatory Design. artful integration : interweaving media, materials and practices
Proceedings of the eighth Conference on Participatory Design. artful integration : interweaving media, materials and practices |
| Record Nr. | UNINA-9910375931403321 |
Clement Andrew
|
||
| [Place of publication not identified], : ACM, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||