Resultados de búsqueda - program java https compositional processing https*

1

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Publicado 2005

Tabla de Contenidos: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
Enlace del recurso

Electrónico eBook

2

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Publicado 2010

Tabla de Contenidos: “... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”
Enlace del recurso

Electrónico eBook

3

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Publicado 2013

Tabla de Contenidos: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Enlace del recurso

Electrónico eBook

4

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Publicado 2010

Tabla de Contenidos: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Enlace del recurso

Electrónico eBook

5

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Publicado 2014

Tabla de Contenidos: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Enlace del recurso

Electrónico eBook

6

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Enlace del recurso

Electrónico eBook

7

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
Enlace del recurso

Electrónico eBook

8

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Publicado 2006

Tabla de Contenidos: “...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”
Enlace del recurso

Electrónico eBook

9

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /

Publicado 2008

Tabla de Contenidos: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
Enlace del recurso

Electrónico eBook

10

Enterprise Systems Integration A Process-Oriented Approach /

por Ferreira, Diogo R., Ferreira, Diogo R.
Publicado 2013

Tabla de Contenidos: “... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....”
Enlace del recurso

Electrónico eBook

11

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Publicado 2010

Tabla de Contenidos: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
Enlace del recurso

Electrónico eBook

12

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
Enlace del recurso

Electrónico eBook

13

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Publicado 2006

Tabla de Contenidos: “... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”
Enlace del recurso

Electrónico eBook

14

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Publicado 2010

Tabla de Contenidos: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Enlace del recurso

Electrónico eBook

15

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”
Enlace del recurso

Electrónico eBook

16

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Enlace del recurso

Electrónico eBook

17

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Publicado 2008

Tabla de Contenidos: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Enlace del recurso

Electrónico eBook