Resultados da busca - interface specification program program comparing https

1

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

Publicado em 2008

Sumário: “... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

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

Publicado em 2010

Sumário: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

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

Publicado em 2007

Sumário: “... for Facilitating eBay Transactions Using Skype -- Localization in Korea of User Interface of the 3G Mobile Handset...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

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

Publicado em 2005

Sumário: “... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

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

Publicado em 2005

Sumário: “... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

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...

Publicado em 2014

Sumário: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Publicado em 2010

Sumário: “... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

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

Publicado em 2005

Sumário: “... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

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

por Kovalev, Mikhail., Kovalev, Mikhail., Müller, Silvia M., Paul, Wolfgang J.
Publicado em 2014

Sumário: “... Level Design of a Shared Memory System -- Specification of Interfaces -- Data Paths of Caches -- Cache...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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

Publicado em 2008

Sumário: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

Computational Social Network Analysis Trends, Tools and Research Advances /

Publicado em 2010

Sumário: “... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

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

Publicado em 2010

Sumário: “... -- Comparing Knowledge Tracing and Performance Factor Analysis by Using Multiple Model Fitting Procedures...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

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 /

Publicado em 2012

Sumário: “... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Advanced Techniques in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

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,...

Publicado em 2006

Sumário: “... and Application Execution in a Grid: A Migration Experience from GT2 to GT4 -- A Comparative Analysis Between EGEE...”
Obter o texto integral

Recurso Eletrônico livro eletrônico