Search Results - processing session programs processing java https

1

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text

Electronic eBook

2

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

Published 2005

Table of Contents: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
View full text

Electronic eBook

3

Beginning Java EE 6 with GlassFish 3

by Goncalves, Antonio., Goncalves, Antonio.
Published 2010

Table of Contents: “... Objects -- Callbacks and Listeners -- Enterprise Java Beans -- Session Beans and the Timer Service...”
View full text

Electronic eBook

4

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

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

5

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Published 2013

Table of Contents: “... -- On Distributability in Process Calculi -- Behavioral Polymorphism and Parametricity in Session-Based Communication...”
View full text

Electronic eBook

6

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

Published 2008

Table of Contents: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
View full text

Electronic eBook

7

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
View full text

Electronic eBook

8

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /

Published 2007

Table of Contents: “... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”
View full text

Electronic eBook

9

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
View full text

Electronic eBook

10

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /

Published 2007

Table of Contents: “... of Computation -- On Recursion, Replication and Scope Mechanisms in Process Calculi -- Bounded Session Types...”
View full text

Electronic eBook

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...”
View full text

Electronic eBook

12

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
View full text

Electronic eBook

13

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Passing Platform for Java -- Cluster and Grid -- The Open Run-Time Environment (OpenRTE): A Transparent...”
View full text

Electronic eBook

14

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...”
View full text

Electronic eBook

15

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Published 2010

Table of Contents: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
View full text

Electronic eBook

16

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

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

17

Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005 and EIAE 2005 /

Published 2006

Subjects: “...Optical data processing....”
View full text

Electronic eBook

18

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”
View full text

Electronic eBook

19

Advances in Web Based Learning -- ICWL 2006 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers /

Published 2006

Table of Contents: “...Keynote Speech -- Directions for Web-Based Learning -- Session 1: Personalization in E-Learning...”
View full text

Electronic eBook

20

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

Published 2007

Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text

Electronic eBook

Narrow Search