Search Results - interface composition programming program constructing https

Search alternatives:
composition programming » compositive programming , copositive programming , computation programming
interface composition » service composition
program constructing » program construction , diagram constructing , programs conducting
programming program » programming programmed , programming problem , programming problems
constructing https » construction https , consulting https , constructing better

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

Published 2008

Table of Contents: “... -- Interface Composition for Web Service Intermediaries -- Goal-Oriented Composition of Services -- Composing...”
View full text

Electronic eBook

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor...

Published 2014

Table of Contents: “....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Published 2007

Table of Contents: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
View full text

Electronic eBook

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...

Published 2007

Table of Contents: “... Bytecode -- Services -- A Service Composition Construct to Support Iterative Development -- Correlation...”
View full text

Electronic eBook

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
View full text

Electronic eBook

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Published 2008

Table of Contents: “... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...”
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

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: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
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: “... Equal -- Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams...”
View full text

Electronic eBook

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings /

Published 2013

Table of Contents: “... Experiences of Visual and Textual Programming -- Enabling end users to create, annotate and share personal...”
View full text

Electronic eBook

Robotic Fabrication in Architecture, Art and Design 2014

Published 2014

Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...”
View full text

Electronic eBook

Enterprise Information Systems V

Published 2005

Table of Contents: “... -- Structural Conflict Avoidance in Collaborative Ontology Engineering -- Towards Adaptive User Interfaces...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “...Composition-Centered Architectural Pattern Description Language -- Software Reference Architectures...”
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: “... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...”
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: “... Constructive Swarm Compositions and Inspirations -- New-Generation Methods in an Interpolating EC Synthesizer...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...”
View full text

Electronic eBook

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /

Published 2005

Table of Contents: “...-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL...”
View full text

Electronic eBook

Narrow Search