Search Results - processing java programs contributed java https

1

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004...

Published 2005

Table of Contents: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
View full text

Electronic eBook

2

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”
View full text

Electronic eBook

3

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

4

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
View full text

Electronic eBook

5

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
View full text

Electronic eBook

6

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: “...’ Contributions -- Using Java CSP Solvers in the Automated Analyses of Feature Models -- Co-transformations...”
View full text

Electronic eBook

7

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

8

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

9

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Published 2007

Table of Contents: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
View full text

Electronic eBook

10

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

11

Advanced Topics in Exception Handling Techniques

Published 2006

Table of Contents: “...Programming Languages -- Bound Exceptions in Object-Oriented Programming -- Exception-Handling Bugs...”
View full text

Electronic eBook

12

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

13

Foundation Drupal 7 Learn How to Use the Drupal Framework to Quickly Build Feature-rich Websites /

by Townsend, RJ., Townsend, RJ.
Published 2010

Table of Contents: “... and Configuring Core Modules -- Essential Contributed Modules -- Theming a Drupal Website -- Designing for a...”
View full text

Electronic eBook

14

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Published 2006

Table of Contents: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
View full text

Electronic eBook

15

Apache Solr A Practical Approach to Enterprise Search /

by Shahi, Dikshant., Shahi, Dikshant.
Published 2015

Subjects: “...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

16

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “..., Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs...”
View full text

Electronic eBook

17

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: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
View full text

Electronic eBook

18

Information Systems Development Reflections, Challenges and New Directions /

Published 2013

Table of Contents: “... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...”
View full text

Electronic eBook

19

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Published 2005

Table of Contents: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
View full text

Electronic eBook

20

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “...Invited Contributions -- THERE AND BACK AGAIN: Lessons Learned on the Way to the Market...”
View full text

Electronic eBook

Narrow Search