1
Опубликовано 2008
Оглавление: ... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2007
Оглавление: ... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2006
Оглавление: ...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2008
Оглавление: ... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2006
Оглавление: ... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2014
Предметы: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2006
Оглавление: ... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2006
Оглавление: ...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2005
Оглавление: ... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2005
Оглавление: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2005
Оглавление: ... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2010
Оглавление: ... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2007
Оглавление: ... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2008
Оглавление: ... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2010
Оглавление: ... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2005
Оглавление: ... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2005
Оглавление: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2007
Оглавление: ...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2007
Оглавление: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Полный текст
Электронный ресурс eКнига
20
по 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Книга