Search Results - interface organization programming programming constraints https

Search alternatives:
organization programming » animation programming , organizations program , organizations programs
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
interface organization » internal organization , integrated organization , inter organization
constraints https » constraints haptic , constraints data , constraints chap

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

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009...

Published 2010

Table of Contents: “...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”
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: “... and Time -- An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions...”
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

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /

Published 2012

Table of Contents: “... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”
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: “... Simulation -- An Algorithm for Generating Efficient Outcome Points for Convex Multiobjective Programming...”
View full text

Electronic eBook

Advances in Information and Computer Security 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”
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

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: “... Development Organization -- An Architectural Style for Data-Driven Systems -- Architectural Analysis...”
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: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
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: “... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”
View full text

Electronic eBook

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Memory for Pervasive Games -- IMUI Workshop - Session 1: Context and Constraints -- Coarse In-Building...”
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: “...: Educating for Extreme Collaboration -- Team Organization and Web-Based Project Management for Collaborative...”
View full text

Electronic eBook

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Published 2008

Table of Contents: “... of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
View full text

Electronic eBook

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Published 2008

Table of Contents: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
View full text

Electronic eBook

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... Tensor Decomposition -- Color Pair Clustering for Texture Detection -- CPU-GPU Multithreaded Programming...”
View full text

Electronic eBook

Narrow Search