Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
process session » processes session, processor session, progress session
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
function java » function jane, function jason, function james
process session » processes session, processor session, progress session
https function » its function, sites function, ups function
session https » sedation https, vision https, design https
function java » function jane, function jason, function james
1
Published 2008
Table of Contents:
“... Sessions and Clustering Dynamic Web Documents for Similarity-Aware Web Content Management -- Data Quality...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines -- A Declarative Debugger...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- An Online Component Deployment System for Dynamic Collaborative Sessions -- Complexity in Collaborative...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... on the Multistage Markov Process -- Performance Analysis and Evaluation of Digital Connection Oriented Internet...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... with the CKR -- Demonstration Session -- Sgvizler: A JavaScript Wrapper for Easy Visualization of SPARQL Result...”View full text
Electronic
eBook