Search Results - interface evaluation programming programming constraints https

Search alternatives:
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
evaluation programming » evaluating programming , evolution programming , variation programming
interface evaluation » interfaces evaluation , interference evaluation , integrated evaluation
constraints https » constraints haptic , constraints data , constraints chap

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
View full text

Electronic eBook

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
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: “... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs -- Typelets — A Rule-Based Evaluation...”
View full text

Electronic eBook

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...”
View full text

Electronic eBook

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...”
View full text

Electronic eBook

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Published 2006

Table of Contents: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... Disambiguation -- Telemedical System in Evaluation of Auditory Brainsteam Responses and Support of Diagnosis...”
View full text

Electronic eBook

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /

Published 2015

Table of Contents: “... of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A...”
View full text

Electronic eBook

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21,...

Published 2006

Table of Contents: “... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...”
View full text

Electronic eBook

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Published 2008

Table of Contents: “... Behavior for Reuse Evaluation -- Product Line -- Combining Different Product Line Models to Balance Needs...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
View full text

Electronic eBook

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Published 2012

Table of Contents: “... for Networked Control and Cyber-Physical System Evaluation -- Dempster-Shafer Theory to Identify Insider...”
View full text

Electronic eBook

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Published 2014

Table of Contents: “... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Published 2005

Table of Contents: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
View full text

Electronic eBook

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems /

by Marwedel, Peter., Marwedel, Peter.
Published 2011

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

Electronic eBook

Advanced Information Systems Engineering 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings /

Published 2006

Table of Contents: “... Applications -- Conceptual Modelling -- Incremental Evaluation of OCL Constraints -- Object-Relational...”
View full text

Electronic eBook

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /

Published 2010

Table of Contents: “... Making for Evaluating Ports’ Reception Facilities -- Group Formation through Cooperating Node in VANETs...”
View full text

Electronic eBook

Narrow Search