Search Results - processing java processing properties java https

1

Custom SharePoint Solutions with HTML and JavaScript For SharePoint On-Premises and SharePoint Online /

by Atkinson, Brandon., Atkinson, Brandon.
Published 2015

Subjects: “...Natural Language Processing (NLP). https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

2

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

Published 2005

Table of Contents: “... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “... Simulation for Parameter Estimation of Optical Tissue Properties -- Topic 10: Parallel Numerical Algorithms...”
View full text

Electronic eBook

4

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
View full text

Electronic eBook

5

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

Published 2014

Table of Contents: “... to Identify Information Domain -- Analysis of Multithreading in Java for Symbolic Computation on Multicore...”
View full text

Electronic eBook

6

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP International Working Conference: EduTech 2005, Perth, Australia, October 20-21, 2005 /

Published 2005

Table of Contents: “... Environment -- Using Docbook to Aid in The Creation of Learning Content -- A Java Framework to Teach Computer...”
View full text

Electronic eBook

7

Handbook on Architectures of Information Systems

Published 2006

Table of Contents: “...Architectures of Information Systems -- Properties of Information Modeling Techniques...”
View full text

Electronic eBook

8

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /

Published 2012

Table of Contents: “... on Object Calls in Java -- Checking Properties Described by State Machines: On Synergy of Instrumentation...”
View full text

Electronic eBook

9

Business Information Systems 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings /

Published 2007

Table of Contents: “...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...”
View full text

Electronic eBook

10

A Theory of Distributed Objects Asynchrony - Mobility - Groups - Components /

by Caromel, Denis., Caromel, Denis., Henrio, Ludovic.
Published 2005

Table of Contents: “... Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties...”
View full text

Electronic eBook

11

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”
View full text

Electronic eBook

12

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “...Abstraction and Verification of Properties of a Real-Time Java.- Abstract Quantum Automata...”
View full text

Electronic eBook

13

Food Security and Food Safety for the Twenty-first Century Proceedings of APSAFE2013 /

Published 2015

Table of Contents: “... of Batu, East Java Province, Indonesia) -- Chapter 7: Use of Indigenous Filipino Food Ingredients...”
View full text

Electronic eBook

14

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”
View full text

Electronic eBook

15

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga...

Published 2007

Table of Contents: “...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...”
View full text

Electronic eBook

16

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

Published 2008

Table of Contents: “... -- Coinductive Properties of Causal Maps -- Extending Timed Process Algebra with Discrete Stochastic Time -- Vx86...”
View full text

Electronic eBook

17

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Published 2010

Table of Contents: “... of Generic Process Shape Types -- A Java Inspired Semantics for Transactions in SOC -- Responsive Choice...”
View full text

Electronic eBook

18

Tropical Rainforests and Agroforests under Global Change Ecological and Socio-economic Valuations /

Published 2010

Table of Contents: “... case of Wonogiri - Central Java - Indonesia -- The robustness of indicator based poverty assessment...”
View full text

Electronic eBook

19

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010,...

Published 2010

Table of Contents: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
View full text

Electronic eBook

20

Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings /

Published 2008

Table of Contents: “... Instrumentation -- Multithreading Strategies for Replicated Objects -- A Component Framework for Java-Based Real...”
View full text

Electronic eBook

Narrow Search