Search Results - program globalization https function java https

Search alternatives:
program globalization » problems globalization , program visualization , from globalization
https function » its function , sites function , ups function
function java » function jane , function jason , function james

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

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”
View full text

Electronic eBook

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

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
View full text

Electronic eBook

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
View full text

Electronic eBook

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

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

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

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

Published 2010

Table of Contents: “... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”
View full text

Electronic eBook

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

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

Narrow Search