Search Results - interface comparison programming program based https

Search alternatives:
comparison programming » computation programming , comparative programming , computing programming
interface comparison » interfaces comaprison , interface comparing , intersite comparison
programming program » programming programmed , programming problem , programming problems
program based » programs based , gram based , programming based
based https » based http

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Published 2008

Table of Contents: “... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”
View full text

Electronic eBook

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
View full text

Electronic eBook

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
View full text

Electronic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

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

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI...

Published 2006

Table of Contents: “... Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based...”
View full text

Electronic eBook

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Published 2010

Table of Contents: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
View full text

Electronic eBook

Usability and Internationalization. Global and Local User Interfaces Second International...

Published 2007

Table of Contents: “... Method of Analysing Language, the Poor Cousin of Usability -- Human Communication Based on Icons...”
View full text

Electronic eBook

Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /

Published 2008

Table of Contents: “...-Based Static Program Analysis of Ada Programs -- A Type-Safe Database Interface -- StateML?+?: From...”
View full text

Electronic eBook

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

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

Table of Contents: “...Modeling Form-Based Systems -- The Form-Based System Paradigm -- Exploring the Online Bookshop...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Adaptation -- An Empirical Study About Calibration of Adaptive Hints in Web-Based Adaptive Testing...”
View full text

Electronic eBook

LabVIEW based Advanced Instrumentation Systems

by Sumathi, S., Sumathi, S., Surekha, P.
Published 2007

Table of Contents: “...to Virtual Instrumentation -- Programming Techniques -- Programming Concepts of VI -- Inputs...”
View full text

Electronic eBook

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
View full text

Electronic eBook

Reliable Software Technologies -- Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings /

Published 2006

Table of Contents: “... of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations...”
View full text

Electronic eBook

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Published 2005

Table of Contents: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... – Reusable Elements of User-System Interaction -- A Metamodel-Based Approach for Automatic User Interface...”
View full text

Electronic eBook

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /

Published 2014

Table of Contents: “...Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver...”
View full text

Electronic eBook

Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings /

Published 2010

Table of Contents: “... Evolvability and Robustness from an Industrial Perspective -- BULB: Onion-Based Measuring of OSS Communities...”
View full text

Electronic eBook