Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
composite proceedings » composites proceedings, composition proceedings, composite processing
interface composite » interface composing, interface composition, interface nanocomposite
proceedings program » proceedings from
program computing » program comparing, programs compiling, problem computing
https » http
composite proceedings » composites proceedings, composition proceedings, composite processing
interface composite » interface composing, interface composition, interface nanocomposite
proceedings program » proceedings from
program computing » program comparing, programs compiling, problem computing
https » http
1
Published 2008
Table of Contents:
“... -- Interface Composition for Web Service Intermediaries -- Goal-Oriented Composition of Services -- Composing...”View full text
Electronic
eBook
2
3
Published 2007
Table of Contents:
“... Modeling and Prototyping -- Towards A Support of User Interface Design By Composition Rules -- IdealXML...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Game Design Modeling -- Haptic Carillon: A Computationally Enhanced Mechanical Performing Instrument...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... to Monoprocess Servers -- Delegating Secure Logging in Pervasive Computing Systems -- Implementing Minimized...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Recommendation System -- Developing Intelligent Smart Home by Utilizing Community Computing -- Instant Learning...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... for Computer-Supported Physical Games -- Investigating the Role of Composition Conventions in Three-Move Mate...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... for Running Scenario-Based Programs -- The Ideal of Verified Software -- Session 1. Automata -- Antichains: A...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Portable Immersive Environment -- A Fiducial-Based Tangible User Interface for White Matter Tractography...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Description of Multimedia Content Adaptation Web services -- Grid Computing Communication Strategies for Cross...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...”View full text
Electronic
eBook