Torthaí Cuardaigh - interface organization programming programmed constraints https

Cuardaigh malartuithe:
organization programming » animation programming , organizations program , organizations programs
interface organization » internal organization , integrated organization , inter organization
programming programmed » processing programmed
programmed constraints » programming constraints , programs constraints , programming constraint
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 /

Foilsithe 2008

Clár Ábhair: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... and Time -- An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2012

Clár Ábhair: “... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... Simulation -- An Algorithm for Generating Efficient Outcome Points for Convex Multiobjective Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2014

Clár Ábhair: “... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2006

Clár Ábhair: “... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... Development Organization -- An Architectural Style for Data-Driven Systems -- Architectural Analysis...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Innovations in Computing Sciences and Software Engineering

Foilsithe 2010

Clár Ábhair: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... Memory for Pervasive Games -- IMUI Workshop - Session 1: Context and Constraints -- Coarse In-Building...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2012

Clár Ábhair: “... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /

Foilsithe 2013

Clár Ábhair: “...On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “...: Educating for Extreme Collaboration -- Team Organization and Web-Based Project Management for Collaborative...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2008

Clár Ábhair: “... of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “... Constraints on EAST-ADL Models -- SysADL: A SysML Profile for Software Architecture Description -- A...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

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

Foilsithe 2010

Clár Ábhair: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng