Search Results - programs reactive https functioning using https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
View full text

Electronic eBook

2

Thinking in LINQ Harnessing the Power of Functional Programming in .NET Applications /

by Mukherjee, Sudipta., Mukherjee, Sudipta.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

3

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

4

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
View full text

Electronic eBook

5

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

Published 2010

Table of Contents: “...? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic...”
View full text

Electronic eBook

6

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /

Published 2015

Table of Contents: “...Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using...”
View full text

Electronic eBook

7

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Table of Contents: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
View full text

Electronic eBook

8

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: “... and Validation – MoDeVa -- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models...”
View full text

Electronic eBook

9

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “... Challenges of Workload Optimized Hardware Systems -- Synthesis with Clairvoyance -- Generalized Reactivity(1...”
View full text

Electronic eBook

10

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Published 2014

Table of Contents: “... for Natural-Language Timed Requirements of Reactive Systems -- A Hybrid Model of Connectors in Cyber-Physical...”
View full text

Electronic eBook

11

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

13

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
View full text

Electronic eBook

14

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Published 2005

Table of Contents: “...-Based Diagnosis Using Preference-Based Compilation -- Function Approximation via Tile Coding: Automating...”
View full text

Electronic eBook

15

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Published 2014

Table of Contents: “... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”
View full text

Electronic eBook

16

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test...”
View full text

Electronic eBook

17

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

Published 2007

Table of Contents: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
View full text

Electronic eBook

18

Expert F#

by Cisternino, Antonio., Cisternino, Antonio., Granicz, Adam., Syme, Don.
Published 2007

Table of Contents: “...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
View full text

Electronic eBook

19

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Monitoring for Program Security -- Modular Formalization of Reactive Modules in COQ -- Closing Internal...”
View full text

Electronic eBook

20

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings /

Published 2005

Table of Contents: “... Specifications Using Preferred Answer Set Programming -- Model Checking Strategic Abilities of Agents Under...”
View full text

Electronic eBook

Narrow Search