Search Results - information globalization https program java https

1

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

2

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

Published 2010

Table of Contents: “...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”
View full text

Electronic eBook

3

Pivotal Certified Spring Enterprise Integration Specialist Exam A Study Guide /

by Krnac, Lubos., Krnac, Lubos.
Published 2015

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

4

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Published 2014

Table of Contents: “... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”
View full text

Electronic eBook

5

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

6

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Published 2010

Table of Contents: “... Information Systems -- An Entirely Model-Based Framework for Hardware Design and Simulation -- Extending...”
View full text

Electronic eBook

7

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

Published 2010

Table of Contents: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
View full text

Electronic eBook

8

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... and Policies -- Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks -- Romization...”
View full text

Electronic eBook

9

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

Published 2006

Table of Contents: “... Learning Styles Application of E-Learning System Using Learning Objects -- A Semantics Based Information...”
View full text

Electronic eBook

10

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Published 2013

Table of Contents: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
View full text

Electronic eBook

11

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /

Published 2008

Table of Contents: “... Interpretation of the Physical Inputs of Embedded Programs -- Diagnostic Information for Realizability...”
View full text

Electronic eBook

12

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings /

Published 2014

Table of Contents: “...Part: Keynote -- Software Quality Assurance by Static Program Analysis -- Part: Software Process...”
View full text

Electronic eBook

13

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

14

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

15

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-2...

Published 2013

Table of Contents: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
View full text

Electronic eBook

16

Grid Computing: Software Environments and Tools

Published 2006

Table of Contents: “... -- Intelligent Grids -- Programming and Process -- A Grid Software Process -- Grid Programming with Java, RMI...”
View full text

Electronic eBook

17

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

Published 2007

Table of Contents: “... from Global Optimizing Evolution in a Multi-agent System -- A Hybrid Econometric-AI Ensemble Learning...”
View full text

Electronic eBook

18

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”
View full text

Electronic eBook

Narrow Search