Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
process composition » products composition, carcass composition, crops composition
composition program » composition programs, compositional program, composition problem
program processing » programs processing, program proceedings, program process
processing java » processing japan, processing james, processing j
https » http
process composition » products composition, carcass composition, crops composition
composition program » composition programs, compositional program, composition problem
program processing » programs processing, program proceedings, program process
processing java » processing japan, processing james, processing j
https » http
1
Publicado 2010
Table of Contents:
“... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”Ligazón do recurso
Electrónico
eBook
4
Table of Contents:
“... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”Ligazón do recurso
Electrónico
eBook
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2005
Table of Contents:
“... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2013
Table of Contents:
“...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2008
Table of Contents:
“... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2006
Table of Contents:
“... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2008
Table of Contents:
“... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- 3
- 4
- Seguinte »
- [4]