Søgeresultater - process compositional program processing java https

Søg alternativer:
process compositional » processes compositional , process composition , provers compositional
compositional program » composition programs , computational program , compositional problems
program processing » programs processing , program proceedings , program process
processing java » processing japan , processing james , processing j
https » http

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

Udgivet 2010

Indholdsfortegnelse: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
Få fuldtekst

Electronisk eBog

Enterprise Systems Integration A Process-Oriented Approach /

af Ferreira, Diogo R., Ferreira, Diogo R.
Udgivet 2013

Indholdsfortegnelse: “... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Få fuldtekst

Electronisk eBog

1
2
3
4
Næste »
[4]

Indsnæver søgning