Rezultaty - ((interface composites) OR (interface composition)) processing program constructs https

Inne możliwości wyszukiwania:
interface composition » service composition
interface composites » interface composing , interface computer , interface components
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 /

Wydane 2008

Spis treści: “... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computers and Education: Towards Educational Change and Innovation

Wydane 2008

Spis treści: “... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Robotic Fabrication in Architecture, Art and Design 2014

Wydane 2014

Hasła przedmiotowe: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Enterprise Information Systems V

Wydane 2005

Spis treści: “... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”
Dokumenty pełnotekstowe

Elektroniczne 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 /

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

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

Wydane 2008

Spis treści: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Wydane 2010

Spis treści: “... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

od Spear, Chris., Spear, Chris.
Wydane 2008

Spis treści: “... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty