Search Results - interface specification programming programming comparing https

Search alternatives:
specification programming » verification programming , identification programming , specification program
interface specification » service specification
programming programming » programming programmed , programming program
programming comparing » programming comparison , programming component , programming computation
comparing https » computing https , comparing hst , comparing things

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”
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: “... for Facilitating eBay Transactions Using Skype -- Localization in Korea of User Interface of the 3G Mobile Handset...”
View full text

Electronic eBook

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: “... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”
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: “... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”
View full text

Electronic eBook

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Published 2014

Table of Contents: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”
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: “... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”
View full text

Electronic eBook

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /

by Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
Published 2014

Table of Contents: “... Level Design of a Shared Memory System -- Specification of Interfaces -- Data Paths of Caches -- Cache...”
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: “... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”
View full text

Electronic eBook

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Published 2008

Table of Contents: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
View full text

Electronic eBook

Computational Social Network Analysis Trends, Tools and Research Advances /

Published 2010

Table of Contents: “... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”
View full text

Electronic eBook

Intelligent Tutoring Systems 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... -- Comparing Knowledge Tracing and Performance Factor Analysis by Using Multiple Model Fitting Procedures...”
View full text

Electronic eBook

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

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Published 2006

Table of Contents: “... and Application Execution in a Grid: A Migration Experience from GT2 to GT4 -- A Comparative Analysis Between EGEE...”
View full text

Electronic eBook