Search Results - interactive expression programming program context https

Search alternatives:
interactive expression » interaction expression , integration expression , interaction expressive
expression programming » expression profiling
programming program » programming programmed , programming problem , programming problems
program context » program concept , programs contents , problem context
context https » context helps , concepts https , control https

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text

Electronic eBook

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Published 2007

Table of Contents: “... of Interaction Systems -- On the Expressive Power of Live Sequence Charts -- Refinement-Based Verification...”
View full text

Electronic eBook

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

Published 2015

Table of Contents: “... on Algebras -- An Abstract Algebraic Logic View on Judgment Aggregation -- Context-dependent Utilities: A...”
View full text

Electronic eBook

Modeling and Using Context 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “...Modelling the Context of Learning Interactions in Intelligent Learning Environments -- Contextual...”
View full text

Electronic eBook

Expressive Order Confirming Sentiments in Social Actions /

by Heise, David R., Heise, David R.
Published 2007

Table of Contents: “....-Selecting a Behavior -- Social Interaction -- Groups -- Avoiding Diminishment -- Social Roles -- Medicine...”
View full text

Electronic eBook

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Published 2013

Table of Contents: “... Interaction Context-Based Bounding Volume Morphing in Pointing Gesture Application -- Gesture vs...”
View full text

Electronic eBook

Technologies for Interactive Digital Storytelling and Entertainment Third International Conference...

Published 2006

Table of Contents: “... Interactive Drama -- Integrating VR-Authoring and Context Sensing: Towards the Creation of Context-Aware...”
View full text

Electronic eBook

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
View full text

Electronic eBook

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...”
View full text

Electronic eBook

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications /

Published 2007

Table of Contents: “... Handling in Multi-Agent Systems -- Exception Handling in Context-Aware Agent Systems: A Case Study...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”
View full text

Electronic eBook

Beginning Java 7

by Friesen, Jeff., Friesen, Jeff.
Published 2011

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

Electronic eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

Published 2014

Table of Contents: “... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...”
View full text

Electronic eBook

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /

Published 2014

Table of Contents: “... -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running...”
View full text

Electronic eBook

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
View full text

Electronic eBook

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... and Constraints -- Design Process -- A Service-Oriented Approach for Interactive System Design -- Facilitating...”
View full text

Electronic eBook

The Deductive Spreadsheet

by Cervesato, Iliano., Cervesato, Iliano.
Published 2013

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...”
View full text

Electronic eBook

Narrow Search