Search Results - interactive transformations programming program context https

Search alternatives:
interactive transformations » interaction transformation , interactions transformation , interactive information
transformations programming » transformation programme , transformation program
programming program » programming programmed , programming problem , programming problems
program context » program concept , programs contents , problem context
context https » context helps , concepts https , control https

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
View full text

Electronic eBook

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Published 2007

Table of Contents: “... for Straight-Line Programs Is NP-Complete -- Conservative Ambiguity Detection in Context-Free Grammars...”
View full text

Electronic eBook

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “...Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower...”
View full text

Electronic eBook

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

Towards the Internet of Services: The THESEUS Research Program

Published 2014

Table of Contents: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
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: “... Developments in WCET Analysis -- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive...”
View full text

Electronic eBook

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Published 2010

Table of Contents: “... for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free...”
View full text

Electronic eBook

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Published 2010

Table of Contents: “... and Executing -- Communication in Context: A Stimulus-Response Account of Agile Team Interactions...”
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

Proceedings of the International Conference on Transformations in Engineering Education ICTIEE 2014 /

Published 2015

Table of Contents: “...INVITED PAPERS: Panel Discussion: Transformations in Engineering Education Globally...”
View full text

Electronic eBook

Intelligent Interactive Multimedia Systems and Services

Published 2010

Table of Contents: “... Student’s Knowledge on Programming Using Fuzzy Techniques -- Camera Angle Invariant Shape Recognition...”
View full text

Electronic eBook

Interactive Governance for Small-Scale Fisheries Global Reflections /

Published 2015

Table of Contents: “... Challenges in Sustaining Small-Scale Fisheries in an Urban Context: A Study of Cochin Backwaters, India -- 6...”
View full text

Electronic eBook

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /

Published 2008

Table of Contents: “... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2008

Table of Contents: “... and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Published 2006

Table of Contents: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

Model-Driven Development of Advanced User Interfaces

Published 2011

Table of Contents: “... for Interaction Patterns -- 5.1.3. Task Models in the Context of User Interface Development -- 6. Summary -- 7...”
View full text

Electronic eBook