Search Results - processing java programs generating java https*

1

Implementing Distributed Systems with Java and CORBA

by Aleksy, Markus., Aleksy, Markus., Korthaus, Axel., Schader, Martin.
Published 2005

Table of Contents: “... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...”
View full text

Electronic eBook

2

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Published 2006

Table of Contents: “...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”
View full text

Electronic eBook

3

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kebbutz Sehfayim, Israel, July 4-6, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...”
View full text

Electronic eBook

4

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”
View full text

Electronic eBook

5

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

6

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: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
View full text

Electronic eBook

7

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”
View full text

Electronic eBook

8

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Published 2013

Table of Contents: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
View full text

Electronic eBook

9

Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /

Published 2013

Table of Contents: “... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”
View full text

Electronic eBook

10

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
View full text

Electronic eBook

11

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...”
View full text

Electronic eBook

12

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”
View full text

Electronic eBook

13

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

14

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Published 2006

Table of Contents: “... the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine...”
View full text

Electronic eBook

15

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
View full text

Electronic eBook

16

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Published 2013

Table of Contents: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
View full text

Electronic eBook

17

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2008

Table of Contents: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
View full text

Electronic eBook

18

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2005

Table of Contents: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
View full text

Electronic eBook

19

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
View full text

Electronic eBook

20

Adobe ColdFusion Anthology The Best of The Fusion Authority /

by Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Published 2010

Table of Contents: “... Support in ColdFusion -- Image Processing in ColdFusion -- Essentials to Server Productivity -- Tuning...”
View full text

Electronic eBook

Narrow Search