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.
Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland
| Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5090-9119-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996199009503316 |
| [Place of publication not identified], : IEEE Computer Society, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland
| Proceedings of ECOWS '06 : [fourth] European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5090-9119-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142719103321 |
| [Place of publication not identified], : IEEE Computer Society, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Composition [[electronic resource] ] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book
| Software Composition [[electronic resource] ] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 195 p. 66 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer logic Programming languages (Electronic computers) Computer communication systems Mathematical logic Software Engineering Programming Techniques Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-30564-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling dynamic architectures using Dy-BIP / Marius Bozga, Mohamad Jaber, Nikolaos Maris ; and Joseph Sifakis -- Defining composition operators for BPMN / Paul Istoan -- Relaxing B sharing restrictions within CSP[bar][bar]B / Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin ; and Vincent Poirriez -- PaCE: a data-flow coordination language for asynchronous network-based applications / Mauro Caporuscio, Marco Funaro ; and Carlo Ghezzi -- Adaptation of legacy codes to context-aware composition using aspect-oriented programming / Antonina Danylenko ; and Welf Löwe -- Challenges for refinement and composition of instrumentations: position paper / Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden ; and Kardelen Hatun, ; et al. -- Constructing customized interpreters from reusable evaluators using GAME / Stijn Timbermont, Coen De Roover ; and Theo D'Hondt -- Revising and extending the Uppaal communication mechanism / Abdeldjalil Boudjadar, Jean-Paul Bodeveix ; and Mamoun Filali -- On the automated modularisation of Java programs using service locators / Syed Muhammad Ali Shah, Jens Dietrich ; and Catherine McCartin -- Touching factor: software development on tablets / Marc Hesenius, Carlos Dario Orozco Medina ; and Dominikus Herzberg -- Domain-specific languages in few steps: the Neverlang approach / Walter Cazzola -- Business process lines and decision tables driving flexibility by selection / Nicola Boffoli, Danilo Caivano, Daniela Castelluccia ; and Giuseppe Visaggio. |
| Record Nr. | UNISA-996465417903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Composition [[electronic resource] ] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers / / edited by Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz
| Software Composition [[electronic resource] ] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers / / edited by Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 202 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-28749-3 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -- Analysis of Compositional Conflicts in Component-Based Systems -- A Lambda Calculus with Forms -- A Model of Components with Non-regular Protocols -- A Java Implementation of a Component Model with Explicit Symbolic Protocols -- Towards Distributed Contract Negotiation in Component-Based Systems -- Component Adaptation and Configuration -- On Typesafe Aspect Implementations in C++ -- Flexible Binding for Reusable Composition of Web Services -- Stateful Aspects in JAsCo -- Invasive Configuration of Generic Components. |
| Record Nr. | UNISA-996465380703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers / / edited by Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz
| Software Composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers / / edited by Thomas Gschwind, Uwe Assmann, Oscar Nierstrasz |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 202 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-28749-3 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments -- Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models -- Directory Support for Large-Scale, Automated Service Composition -- Component Controls and Protocols -- Analysis of Compositional Conflicts in Component-Based Systems -- A Lambda Calculus with Forms -- A Model of Components with Non-regular Protocols -- A Java Implementation of a Component Model with Explicit Symbolic Protocols -- Towards Distributed Contract Negotiation in Component-Based Systems -- Component Adaptation and Configuration -- On Typesafe Aspect Implementations in C++ -- Flexible Binding for Reusable Composition of Web Services -- Stateful Aspects in JAsCo -- Invasive Configuration of Generic Components. |
| Record Nr. | UNINA-9910484155503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Middleware [[electronic resource] ] : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / / edited by Thomas Gschwind, Cecilia Mascolo
| Software Engineering and Middleware [[electronic resource] ] : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / / edited by Thomas Gschwind, Cecilia Mascolo |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 245 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| Soggetto non controllato |
Automated software engineering
SEM |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing Transaction Service Configurations -- Alice: Modularization of Middleware Using Aspect-Oriented Programming -- Ubiquitous Computing -- Service Discovery Protocol Interoperability in the Mobile Environment -- Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study -- Supporting Generalized Context Interactions -- A Middleware Centric Approach to Building Self-adapting Systems -- PlanetSim: A New Overlay Network Simulation Framework -- Towards the Development of Ubiquitous Middleware Product Lines -- Performance and QOS -- Extending Standard Java Runtime Systems for Resource Management -- Modeling Distributed Applications for QoS Management -- Accuracy of Performance Prediction for EJB Applications: A Statistical Analysis -- Building Distributed Applications -- A Proposal for Evolution Driven Middleware Architecture for eBusiness Process Execution -- Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems -- Integration of Component-Based Development-Deployment Support for J2EE Middleware. |
| Record Nr. | UNISA-996465696003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / / edited by Thomas Gschwind, Cecilia Mascolo
| Software Engineering and Middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / / edited by Thomas Gschwind, Cecilia Mascolo |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 245 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| Soggetto non controllato |
Automated software engineering
SEM |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing Transaction Service Configurations -- Alice: Modularization of Middleware Using Aspect-Oriented Programming -- Ubiquitous Computing -- Service Discovery Protocol Interoperability in the Mobile Environment -- Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study -- Supporting Generalized Context Interactions -- A Middleware Centric Approach to Building Self-adapting Systems -- PlanetSim: A New Overlay Network Simulation Framework -- Towards the Development of Ubiquitous Middleware Product Lines -- Performance and QOS -- Extending Standard Java Runtime Systems for Resource Management -- Modeling Distributed Applications for QoS Management -- Accuracy of Performance Prediction for EJB Applications: A Statistical Analysis -- Building Distributed Applications -- A Proposal for Evolution Driven Middleware Architecture for eBusiness Process Execution -- Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems -- Integration of Component-Based Development-Deployment Support for J2EE Middleware. |
| Record Nr. | UNINA-9910484053903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||