Resultados da busca - interfaces evaluating programming programming constraints based

Buscas alternativas:
programming programming » programming programmed , programming program
programming constraints » programming constraint , programming constrained , programming constructs
evaluating programming » computing programming , exploring programming
interfaces evaluating » interfaces evaluation , interface evaluation , internet evaluating
constraints based » constraint based , constraints a

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

Publicado em 2007

Sumário: “... -- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog -- Aggregates in Constraint...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... Robots -- Programming -- A Software Platform for Component Based RT-System Development: OpenRTM-Aist -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2014

Sumário: “... and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs -- Typelets — A Rule-Based Evaluation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings /

Publicado em 2006

Sumário: “... Learning for Very Young Learners -- A Collaborative Constraint-Based Adaptive System for Learning Object...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... -- Location-Based Software Modeling and Analysis: Tropos-Based Approach -- Risk Evaluation for Personal...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advances in Web Based Learning - ICWL 2007 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers /

Publicado em 2008

Sumário: “... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “...Web-Based Systems for Data Management -- Enhancing Accuracy of Recommender System through Adaptive...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2015

Sumário: “...-based Applications -- Empirical Evaluation of UML Modeling Tools- A Controlled Experiment -- Opening...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Network-Based Information Systems First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings /

Publicado em 2007

Sumário: “... and Evaluation of New User Interface for Security Scanner with Usability in Human Interface Study -- A Key...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... Approaches: A Component-Based System Development Perspective -- High Confidence and Reuse -- Component-Based...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference...

Publicado em 2010

Sumário: “...-Based Approach to Monitor Behaviors in AAL Domains -- Adaptation of an Evaluation System for e-Health...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... Applications -- An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2012

Sumário: “... Using Educational Programming Language Based on STEAM Education -- The Performances Study of EDCF...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2014

Sumário: “... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

1
2
3
4
5
Seguinte »
[5]

Refinar a Busca