Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https composition » hops composition, states composition, status composition
composition java » composition a, composition art, composition j.j
problem methods » problems methods, probe methods, probes methods
https composition » hops composition, states composition, status composition
composition java » composition a, composition art, composition j.j
problem methods » problems methods, probe methods, probes methods
1
Published 2010
Table of Contents:
“... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”View full text
Electronic
eBook
4
Published 2011
Table of Contents:
“...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Parallel Methods for Image Compositing in Sort-Last Rendering -- Session 5: GPU and Multicore -- memCUDA...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- Interval Finite Difference Method for Solving the One-Dimensional Heat Conduction Problem with Heat Sources...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Method to Get a Municipality Event Information -- Design and Implementation of Adaptive Inter-platform...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups...”View full text
Electronic
eBook
10
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
11
Published 2007
Table of Contents:
“... -- ZebraX: A Model for Service Composition with Multiple QoS Constraints -- Middleware Support for Java...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Colon Polyps using Composite Similarity Measure -- A Wavelet based Text Hiding Method using Novel...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”View full text
Electronic
eBook
16
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Visualization -- A Fault Injection Tool for Testing Web Services Composition -- Synthesis of On-Line Planning...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... based on the Java Security Framework using XACML Policies -- Negotiation of Prohibition: An Approach...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”View full text
Electronic
eBook