Resultados de búsqueda - interface component programming program constraint graphs

Buscar alternativas:
component programming » computer programming , computers programming , computing programming
interface component » interface components , interfaces component , interface composing
programming program » programming programmed , programming problem , programming problems
program constraint » programs constraints , problem constraint , diagram constraint
constraint graphs » constraints graphs , constraint graph , constrained graphs

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Publicado 2007

Tabla de Contenidos: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
Enlace del recurso

Electrónico 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...

Publicado 2006

Tabla de Contenidos: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Transformations -- Precise Semantics of EMF Model Transformations by Graph Transformation -- A Formal Metamodel...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
Enlace del recurso

Electrónico eBook

Innovations in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Enlace del recurso

Electrónico eBook

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... Graph-Based Monitoring Tool for Adaptive Hypermedia Course Systems -- Much to Know About History...”
Enlace del recurso

Electrónico eBook

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”
Enlace del recurso

Electrónico eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Publicado 2010

Tabla de Contenidos: “... Using Pair-Wise Constraints in Physical Therapy -- Learning and Prediction of Soft Object Deformation...”
Enlace del recurso

Electrónico eBook

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Publicado 2010

Tabla de Contenidos: “... Optimization for Web Service Composition -- A Comparison between EJB and COM+ Business Components, Case Study...”
Enlace del recurso

Electrónico eBook

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29,...

Publicado 2007

Tabla de Contenidos: “... Components and Ontology Reuse -- Experiences Using the ResearchCyc Upper Level Ontology -- From OWL Class...”
Enlace del recurso

Electrónico eBook

Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... Techniques -- Automatic Workflow Graph Refactoring and Completion -- Authorization and User Failure...”
Enlace del recurso

Electrónico eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publicado 2007

Tabla de Contenidos: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
Enlace del recurso

Electrónico eBook

Knowledge Science, Engineering and Management Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “... Analysis -- A Diagrammatic Reasoning System for -- Fuzzy Constraint Logic Programming with Answer Set...”
Enlace del recurso

Electrónico eBook

Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part 1 /

Publicado 2005

Tabla de Contenidos: “... Calibration Algorithm for POX-Slits Camera -- Vision-Based Interface for Integrated Home Entertainment System...”
Enlace del recurso

Electrónico eBook

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

Publicado 2007

Tabla de Contenidos: “... and Evaluation of New User Interface for Security Scanner with Usability in Human Interface Study -- A Key...”
Enlace del recurso

Electrónico eBook

Digital Enterprise Technology Perspectives and Future Challenges /

Publicado 2007

Tabla de Contenidos: “... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados