Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing processing » computing proceeding, computing proceedings, computer processing
semantic computing » scientific computing
programmed java » programming java, program java, programmed dna
https » http
computing processing » computing proceeding, computing proceedings, computer processing
semantic computing » scientific computing
programmed java » programming java, program java, programmed dna
https » http
1
Published 2008
Table of Contents:
“... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”View full text
Electronic
eBook
2
by Kossak, Felix., Kossak, Felix., Illibauer, Christa., Geist, Verena., Kubovy, Jan., Natschläger, Christine., Ziebermayr, Thomas., Kopetzky, Theodorich., Freudenthaler, Bernhard., Schewe, Klaus-Dieter.
Published 2014
Table of Contents:
“... Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion...”Published 2014
View full text
Electronic
eBook
3
4
5
6
Published 2006
Table of Contents:
“...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”View full text
Electronic
eBook
7
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
8
Published 2008
Table of Contents:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”View full text
Electronic
eBook
9
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- An Operational Semantics for JavaScript -- JavaScript Instrumentation in Practice....”View full text
Electronic
eBook
11
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Analysing Linear Inequality Relations -- Precise Fixpoint Computation Through Strategy Iteration -- Semantic...”View full text
Electronic
eBook
12
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”View full text
Electronic
eBook
14
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... with Declarative Semantics -- Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents -- Java...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Semantics for Lazy Evaluation -- Modal Process Rewrite Systems -- S-Narrowing for Constructor Systems...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”View full text
Electronic
eBook