Search Results - interactive simulation programming programs compiling https

Search alternatives:
interactive simulation » interactive simulations , interactive visualization
simulation programming » simulation program , recreation programming , simulation gaming
programming programs » programming program , programming programmed , programming problems
programs compiling » programs combining , programs compiler , programs containing
compiling https » computing https , counseling https , consulting https

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Published 2005

Table of Contents: “... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”
View full text

Electronic eBook

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”
View full text

Electronic eBook

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Published 2008

Table of Contents: “... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Published 2006

Table of Contents: “... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...”
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

Software Process Modeling

Published 2005

Table of Contents: “...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”
View full text

Electronic eBook

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Published 2015

Table of Contents: “...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”
View full text

Electronic eBook

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
View full text

Electronic eBook

Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /

by Giese, Holger., Giese, Holger.
Published 2008

Table of Contents: “... Methods and Tools for the Design of Advanced Interactive Techniques -- Transforming Discourse Models...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Published 2007

Table of Contents: “... 2.0 Interactions -- W3 – Reverse Engineering -- 3rd International Workshop on Metamodels, Schemas...”
View full text

Electronic eBook

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Published 2005

Table of Contents: “...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”
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: “... Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A...”
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

Principles of the Spin Model Checker

by Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Published 2008

Table of Contents: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text

Electronic eBook

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected P...

Published 2014

Table of Contents: “....- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets...”
View full text

Electronic eBook

Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

Published 2011

Table of Contents: “... Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology...”
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

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers /

Published 2005

Table of Contents: “... Transaction Service Configurations -- Alice: Modularization of Middleware Using Aspect-Oriented Programming...”
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: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
View full text

Electronic eBook

Narrow Search