Search Results - interfaces computer program diagram ((constructing https) OR (constructing better))

1

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

Published 2007

Table of Contents: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
View full text

Electronic eBook

2

People and Computers XIX - The Bigger Picture Proceedings of HCI 2005 /

Published 2006

Table of Contents: “...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...”
View full text

Electronic eBook

3

Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings /

Published 2010

Table of Contents: “...: The Computer’s View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information...”
View full text

Electronic eBook

4

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Published 2014

Table of Contents: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
View full text

Electronic eBook

5

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”
View full text

Electronic eBook

6

Form-Oriented Analysis A New Methodology to Model Form-Based Applications /

by Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Published 2005

Table of Contents: “... Code Paradigm -- State History Diagrams -- Semantics of the Data Model -- Semantics of Web Signatures...”
View full text

Electronic eBook

7

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, f...

Published 2005

Table of Contents: “...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”
View full text

Electronic eBook

8

RoboCup 2007: Robot Soccer World Cup XI

Published 2008

Table of Contents: “... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...”
View full text

Electronic eBook

9

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings /

Published 2015

Table of Contents: “... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...”
View full text

Electronic eBook

10

Enterprise Information Systems V

Published 2005

Table of Contents: “... in a Federated Data Warehouses -- Empirical Validation of Metrics for UML Statechart Diagrams -- ERP...”
View full text

Electronic eBook

11

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Published 2012

Table of Contents: “... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”
View full text

Electronic eBook

12

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: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
View full text

Electronic eBook

13

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

Published 2013

Table of Contents: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
View full text

Electronic eBook

14

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

Published 2008

Table of Contents: “...Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional...”
View full text

Electronic eBook

15

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Published 2005

Table of Contents: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
View full text

Electronic eBook

16

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

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

17

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

Published 2007

Table of Contents: “...-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified...”
View full text

Electronic eBook

18

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /

Published 2006

Table of Contents: “... for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program...”
View full text

Electronic eBook

19

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

20

Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

by Campbell, Stephen L., Campbell, Stephen L., Chancelier, Jean-Philippe., Nikoukhah, Ramine.
Published 2010

Subjects: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
View full text

Electronic eBook

Narrow Search