Результаты поиска - interface methods processing programmed composition https

1

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2005

Оглавление: “... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”
Полный текст

Электронный ресурс eКнига

3

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”
Полный текст

Электронный ресурс eКнига

4

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods...

Опубликовано 2005

Оглавление: “...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”
Полный текст

Электронный ресурс eКнига

5

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
Полный текст

Электронный ресурс eКнига

6

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”
Полный текст

Электронный ресурс eКнига

7

Towards the Internet of Services: The THESEUS Research Program

Опубликовано 2014

Оглавление: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Полный текст

Электронный ресурс eКнига

8

Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...

Опубликовано 2006

Оглавление: “... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”
Полный текст

Электронный ресурс eКнига

9

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM...

Опубликовано 2006

Оглавление: “... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2005

Оглавление: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
Полный текст

Электронный ресурс eКнига

11

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...”
Полный текст

Электронный ресурс eКнига

12

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium...

Опубликовано 2012

Оглавление: “... Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated...”
Полный текст

Электронный ресурс eКнига

13

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Опубликовано 2010

Оглавление: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”
Полный текст

Электронный ресурс eКнига

14

Advances in Multimedia Information Processing -- PCM 2010, Part I 11th Pacific Rim Conference...

Опубликовано 2010

Оглавление: “...Multimedia Analysis and Retrieval -- Composition Based Semantic Scene Retrieval for Ancient Murals...”
Полный текст

Электронный ресурс eКнига

15

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...”
Полный текст

Электронный ресурс eКнига

16

Simulation of Semiconductor Processes and Devices 2007 SISPAD 2007 /

Опубликовано 2007

Оглавление: “..., LCBB and kp Methods -- Analysis of Silicon Dioxide Interface Transition Region in MOS Structures...”
Полный текст

Электронный ресурс eКнига

17

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

Опубликовано 2006

Оглавление: “... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”
Полный текст

Электронный ресурс eКнига

18

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications /

Опубликовано 2005

Оглавление: “... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...”
Полный текст

Электронный ресурс eКнига

19

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007...

Опубликовано 2007

Оглавление: “... -- MADE: A Composite Visual-Based 3D Shape Descriptor -- Research of 3D Chinese Calligraphic Handwriting...”
Полный текст

Электронный ресурс eКнига

20

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS 2005 /

Опубликовано 2006

Оглавление: “... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска