بدائل البحث:
composing processing » composite processing, composites processing, composing process
method https » methods https
1
منشور في 2007
جدول المحتويات: ...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2012
جدول المحتويات: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2015
جدول المحتويات: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2014
جدول المحتويات: ... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2012
جدول المحتويات: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2006
جدول المحتويات: ... Processes for Sustainable Performances: A Model and a Method -- Designing Business Process Variants – Using...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2007
جدول المحتويات: ... -- A Prototype Wafer Processing TCAD Tool Composed of BMD Simulation Module, Metal Gettering...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2008
جدول المحتويات: ... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2014
جدول المحتويات: ... -- An open problem on strongly consistent learning of the best prediction for Gaussian processes -- Testing...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ... -- Full Research Papers -- Non-synchronous Communications in Process Algebraic Architectural Description...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2007
جدول المحتويات: ... Model -- A Serialisation Based Approach for Processes Strong Mobility -- Parallel State Transfer...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2010
جدول المحتويات: ... Chains Using Krylov Subspace Methods: An Experience Report -- Case Studies -- A Markovian Agent Model...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2007
جدول المحتويات: ... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2005
جدول المحتويات: ... to the Implementation of the Dynamical Priorities Method -- Information Flow Analysis for VHDL -- Composing Fine-Grained...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2014
جدول المحتويات: ... Systematic Literature Review -- Suitability of Software Architecture Decision Making Methods for Group...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2012
جدول المحتويات: ... in Model-Driven Software Development -- Matching Business Process Workflows across Abstraction Levels...
احصل على النص الكامل
الكتروني كتاب الكتروني