Rezultaty - interface ((python https) OR (method https)) communication program https

1

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009...

Wydane 2010

Spis treści: “...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Wydane 2015

Spis treści: “...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings /

Wydane 2014

Spis treści: “...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Wydane 2010

Spis treści: “... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2012

Spis treści: “... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2012

Spis treści: “... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Towards the Internet of Services: The THESEUS Research Program

Wydane 2014

Spis treści: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /

Wydane 2014

Spis treści: “... with unordered lossy communication -- Dynamic ontologies and semantic Web rules as biographical reactive systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Human Interface and the Management of Information Information and Interaction for Learning, Culture...

Wydane 2013

Spis treści: “... Interface of Interactive Media Art in Stereoscopic Environment -- A Method of Viewing 3D Horror Contents...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2008

Spis treści: “... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2005

Spis treści: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2007

Spis treści: “... Method of Analysing Language, the Poor Cousin of Usability -- Human Communication Based on Icons...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2007

Spis treści: “... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2006

Spis treści: “... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2005

Spis treści: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Novel Methods and Technologies for Enterprise Information Systems ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers /

Wydane 2014

Hasła przedmiotowe: “...Information Systems and Communication Service. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Visual Information Communication

Wydane 2010

Spis treści: “... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2007

Spis treści: “... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Wydane 2008

Spis treści: “...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Wydane 2006

Spis treści: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty