Search Results - interface automation programming programming constraints https

Search alternatives:
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
automation programming » automatic programming , animation programming , automated programming
interface automation » interface automata , interface automated , interface estimation
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

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

Published 2005

Table of Contents: “... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Published 2005

Table of Contents: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
View full text

Electronic eBook

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Published 2006

Table of Contents: “... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”
View full text

Electronic eBook

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... Change Set Composition -- Automated and Unanticipated Flexible Component Substitution -- Dynamic...”
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: “..., Compliance, Location -- Automating the Extraction of Rights and Obligations for Regulatory Compliance...”
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

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Published 2006

Table of Contents: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
View full text

Electronic eBook

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /

Published 2014

Table of Contents: “... for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test...”
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

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

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: “...Invited Talks -- Automating Security Configuration and Administration: An Access Control...”
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: “... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...”
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

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

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

Published 2014

Table of Contents: “... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”
View full text

Electronic eBook

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I...”
View full text

Electronic eBook

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Published 2005

Table of Contents: “... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “....- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning Setups...”
View full text

Electronic eBook

Narrow Search