Search Results - program java properties functionality using https

1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
View full text

Electronic eBook

2

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Published 2007

Table of Contents: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
View full text

Electronic eBook

3

Programming Languages and Operational Semantics A Concise Overview /

by Fernández, Maribel., Fernández, Maribel.
Published 2014

Table of Contents: “... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text

Electronic eBook

4

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Published 2005

Table of Contents: “... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”
View full text

Electronic eBook

5

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

6

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

7

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: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
View full text

Electronic eBook

8

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... and Temporal Property Specification Using Timed Story Scenario Diagrams -- SDL Profiles – Formal Semantics...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
View full text

Electronic eBook

10

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Published 2005

Table of Contents: “... Relaxation and Semidefinite Programming -- Numerical Abstraction -- Scalable Analysis of Linear Systems Using...”
View full text

Electronic eBook

11

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Published 2006

Table of Contents: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
View full text

Electronic eBook

12

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

13

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
View full text

Electronic eBook

14

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

15

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

16

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Published 2008

Table of Contents: “... Properties Using ADM Logic: FOO Case Study -- Publicly Verifiable Remote Data Integrity....”
View full text

Electronic eBook

17

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

Published 2007

Table of Contents: “... cminor -- Formalising Java’s Data Race Free Guarantee -- Finding Lexicographic Orders for Termination...”
View full text

Electronic eBook

18

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Verification Using Lazy Learning -- Local Proofs for Global Safety Properties -- Session II: Verification...”
View full text

Electronic eBook

19

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
View full text

Electronic eBook

20

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: “... Property Analysis Techniques for Cooperating Embedded Systems Using LTS -- Validation of Embedded...”
View full text

Electronic eBook

Narrow Search