Search Results - interface composition processing program constructs https

Search alternatives:
composition processing » composition proceedings , composites processing , deposition processing
interface composition » service composition
processing program » processing programs , processing programmed , proceedings program
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

Published 2008

Table of Contents: “... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Published 2007

Table of Contents: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...”
View full text

Electronic eBook

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...”
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

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

Published 2006

Table of Contents: “... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”
View full text

Electronic eBook

Digital Libraries: Achievements, Challenges and Opportunities 9th International Conference on Asian Digial Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
View full text

Electronic eBook

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
View full text

Electronic eBook

Enterprise Information Systems V

Published 2005

Table of Contents: “... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...”
View full text

Electronic eBook

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007 /

Published 2007

Table of Contents: “... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...”
View full text

Electronic eBook

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Published 2008

Table of Contents: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
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: “... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Published 2005

Table of Contents: “... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...”
View full text

Electronic eBook

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text

Electronic eBook

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

by Spear, Chris., Spear, Chris.
Published 2008

Table of Contents: “... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
View full text

Electronic eBook

Narrow Search