Search Results - interface protocols processing programs functional https

Search alternatives:
protocols processing » protocols proceedings , proteins processing , protocol proceedings
interface protocols » interfaces protocols , internet protocols , interview protocols
processing programs » processing programmed , processing problems , processing products
programs functional » programming functional , proteins functional , processes functional
functional https » functions https , function https , functional hop

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... PIPs to BPEL Processes: A Three Level Approach for Business Protocols -- Short Papers -- Using Software...”
View full text

Electronic eBook

Image and Signal Processing 3rd International Conference, ICISP 2008, Cherbourg-Octeville, France, July 1-3, 2008, Proceedings /

Published 2008

Table of Contents: “... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...”
View full text

Electronic eBook

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
View full text

Electronic eBook

Robotic Fabrication in Architecture, Art and Design 2014

Published 2014

Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV...

Published 2013

Table of Contents: “.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”
View full text

Electronic eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”
View full text

Electronic eBook

Enterprise Information Systems V

Published 2005

Table of Contents: “... Integration -- On Operations to Conform Object-Oriented Schemas -- ERP Implementation, Cross-Functionality...”
View full text

Electronic eBook

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...-Dimensional Flows in a High Pressure Turbine -- Application of Parallel Processing to the Simulation of Heart...”
View full text

Electronic eBook

Practical OCaml

by Smith, Joshua B., Smith, Joshua B.
Published 2007

Table of Contents: “... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
View full text

Electronic eBook

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Published 2014

Table of Contents: “... Wavelet with PCA -- Forensic Investigation Processes for Cyber-Crime and Cyber-Space -- Feasibility Study...”
View full text

Electronic eBook

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Published 2006

Table of Contents: “... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”
View full text

Electronic eBook

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Published 2005

Table of Contents: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
View full text

Electronic eBook

Social Informatics 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings /

Published 2012

Table of Contents: “... -- Interpolating between Random Walks and Shortest Paths: A Path Functional Approach -- Dynamic Targeting...”
View full text

Electronic eBook

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “...-Based Authentication and Key Distribution Protocols with Perfect Forward Secrecy -- Using Genetic...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Manifesto -- Investigation and Implementation of T-DMB Protocol in NCTUns Simulator -- Empirical Analysis...”
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: “... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”
View full text

Electronic eBook

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...”
View full text

Electronic eBook

Narrow Search