Результаты поиска - interface composites processing programs constructive https

Альтернативы поиска:
composites processing » nanocomposites processing , computer processing , composites properties
programs constructive » program construction , program constructing , problem constructive
interface composites » interface composition , interface composing , interface computer
processing programs » processing programmed , processing problems , processing products
constructive https » construction https , constructive type , constructive help

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

Опубликовано 2008

Оглавление: “... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...”
Полный текст

Электронный ресурс eКнига

Computers and Education: Towards Educational Change and Innovation

Опубликовано 2008

Оглавление: “... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...”
Полный текст

Электронный ресурс eКнига

Robotic Fabrication in Architecture, Art and Design 2014

Опубликовано 2014

Предметы: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Полный текст

Электронный ресурс eКнига

Enterprise Information Systems V

Опубликовано 2005

Оглавление: “... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Полный текст

Электронный ресурс eКнига

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

по Spear, Chris., Spear, Chris.
Опубликовано 2008

Оглавление: “... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска