Search Results - processing java program implementation session https

Search alternatives:
program implementation » project implementation
implementation session » implementation sections , implementation lessons , implementation seeking
processing java » processing japan , processing james , processing j
session https » sedation https , vision https , design https
java program » java programs , a program , java programming

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

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

Published 2005

Table of Contents: “... Language Object Model in Java -- Fingerprint Ridge Line Reconstruction -- Design and Implementation...”
View full text

Electronic eBook

Introduction to Operating System Design and Implementation The OSP 2 Approach /

by Kifer, Michael., Kifer, Michael., Smolka, Scott.
Published 2007

Table of Contents: “...Organization of OSP 2 -- Putting it All Together: An Example Session with OSP 2 -- Tasks...”
View full text

Electronic eBook

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

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

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

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: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

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: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
View full text

Electronic eBook

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

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

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

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

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

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: “... in C Programs -- Automatic Implementation of Programming Language Consistency Models -- Parallel...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Published 2005

Table of Contents: “... of Fine-Grain Multi-context Reconfigurable Processing Unit -- Session 2B: High-Reliability and Fault...”
View full text

Electronic eBook

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

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

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... of Workflow Applications in JavaSymphony -- Session V - Systems Software -- Using Clustering to Address...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... -- Session 3: Implementation and Evaluations of E-Learning Systems -- : A Reusable Assessment Engine -- Using...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Published 2007

Table of Contents: “... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”
View full text

Electronic eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”
View full text

Electronic eBook

Narrow Search