Suchergebnisse - interface method proceedings program execution https

Andere Suchmöglichkeiten:
proceedings program » proceedings from
method proceedings » methods proceedings , metazoa proceedings , metals proceedings
program execution » program evaluation , process execution , project execution
interface method » interface methods , interphase method , interval method
execution https » exertion https , execution status , execution actors

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

Veröffentlicht 2008

Inhaltsangabe: “... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
Volltext

Elektronisch E-Book

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... Environment with MetaModeling, Interoperability, and Parallel Execution -- Simulation -- Blender for Robotics...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2012

Inhaltsangabe: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2012

Inhaltsangabe: “... Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application...”
Volltext

Elektronisch E-Book

ECOOP 2008 - Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... – Refactoring for Variability: A Test-Driven Approach -- Introducing Agile Methods in a Large Software...”
Volltext

Elektronisch E-Book

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution -- Mining -- A Fresh...”
Volltext

Elektronisch E-Book

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... -- Computer-Aided Method Engineering: An Analysis of Existing Environments -- Adapting Secure Tropos...”
Volltext

Elektronisch E-Book

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... in the Application Layer -- Context-Aware Publish Subscribe in Mobile Ad Hoc Networks -- Session 2. Logic Programming...”
Volltext

Elektronisch E-Book

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”
Volltext

Elektronisch E-Book

Times of Convergence. Technologies Across Learning Contexts Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Distributed Ontological Approach as a Basis for Software in the Context of Academic Programs -- Systems...”
Volltext

Elektronisch E-Book

Innovative Approaches for Learning and Knowledge Sharing First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “...Keynotes -- From Clicks to Touches: Enabling Face-to-Face Shared Interface -- Innovating eLearning...”
Volltext

Elektronisch E-Book

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, October 29 - November 3, 2006, Proceedings, Part II /

Veröffentlicht 2006

Inhaltsangabe: “... File Transfer During Deployment, Execution, and Retrieval -- A Parallel Data Storage Interface...”
Volltext

Elektronisch E-Book

Suche einschränken