Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
composition programming » compositive programming, copositive programming, computation programming
interface composition » service composition
problems constructs » problems constructions, problems construction, problem construction
constructs https » construction https, constructs loops, constructs arti
composition programming » compositive programming, copositive programming, computation programming
interface composition » service composition
problems constructs » problems constructions, problems construction, problem construction
constructs https » construction https, constructs loops, constructs arti
1
Published 2007
Table of Contents:
“... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- An Ontology Based Semantic System for Mathematical Problem Solving -- LOMEditor: Composition...”View full text
Electronic
eBook
4
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
5
Published 2010
Table of Contents:
“...Keynote Speeches -- Selected Problems of the Static Complex Systems Identification -- Combining...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Composition -- Fast Intersection Algorithms for Sorted Sequences -- Indexing and Searching a Mass Spectrometry...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Equal -- Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Constructive Swarm Compositions and Inspirations -- New-Generation Methods in an Interpolating EC Synthesizer...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... for Compositional Verification -- Session XIV: Hybrid Systems -- Abstraction and Counterexample-Guided Construction...”View full text
Electronic
eBook
15
Table of Contents:
“... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
View full text
View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Association-Rule Mining Algorithm -- An Algorithm of Parallel Programming Design Based on Problem Domain Model...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Coating Process; Chachsanun Srisoy, Suksan Prombanpong -- Developing interfaces based on services...”View full text
Electronic
eBook