Search Results - processing compositional program process java https

1

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

Published 2010

Table of Contents: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
View full text

Electronic eBook

3

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

Published 2005

Table of Contents: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
View full text

Electronic eBook

4

Enterprise Systems Integration A Process-Oriented Approach /

by Ferreira, Diogo R., Ferreira, Diogo R.
Published 2013

Table of Contents: “... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....”
View full text

Electronic eBook

5

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

Published 2013

Table of Contents: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
View full text

Electronic eBook

6

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

Published 2010

Table of Contents: “... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”
View full text

Electronic eBook

7

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

Published 2014

Table of Contents: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
View full text

Electronic eBook

8

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

Published 2005

Table of Contents: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
View full text

Electronic eBook

9

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

Published 2006

Table of Contents: “...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”
View full text

Electronic eBook

10

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

Published 2013

Table of Contents: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
View full text

Electronic eBook

11

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

Published 2008

Table of Contents: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”
View full text

Electronic eBook

13

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

Published 2010

Table of Contents: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
View full text

Electronic eBook

14

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

Published 2006

Table of Contents: “... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”
View full text

Electronic eBook

15

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

Published 2008

Table of Contents: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
View full text

Electronic eBook

16

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...

Published 2010

Table of Contents: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
View full text

Electronic eBook

17

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

Published 2007

Table of Contents: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
View full text

Electronic eBook

18

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...

Published 2008

Table of Contents: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
View full text

Electronic eBook

19

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
View full text

Electronic eBook

20

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
View full text

Electronic eBook

Narrow Search