関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
function computing » education computing, generation computing
validating process » revalidating process, validation process, evaluating process
process trust » processes trust, press trust, process test
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
function computing » education computing, generation computing
validating process » revalidating process, validation process, evaluating process
process trust » processes trust, press trust, process test
1
出版事項 2008
目次:
“... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...”全文の入手
電子媒体
eBook
2
出版事項 2014
目次:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”全文の入手
電子媒体
eBook
3
出版事項 2010
目次:
“... for Software Quality in an IEC 62304 Compliant Development Process -- Trustable Formal Specification...”全文の入手
電子媒体
eBook
4
出版事項 2010
目次:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”全文の入手
電子媒体
eBook
5
出版事項 2015
目次:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”全文の入手
電子媒体
eBook
6
出版事項 2012
目次:
“... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...”全文の入手
電子媒体
eBook
7
出版事項 2005
目次:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”全文の入手
電子媒体
eBook
8
出版事項 2006
目次:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”全文の入手
電子媒体
eBook
9
出版事項 2008
目次:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”全文の入手
電子媒体
eBook
10
出版事項 2012
目次:
“...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”全文の入手
電子媒体
eBook
11
出版事項 2010
目次:
“... Language Processing -- Authoring Technical Documents for Effective Retrieval -- A Methodology towards...”全文の入手
電子媒体
eBook
12
出版事項 2007
目次:
“...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...”全文の入手
電子媒体
eBook
13
出版事項 2015
目次:
“... Based on the Decompositions of Trustworthy Attributes and Its Validation; Hongwei Tao, et al -- Review...”全文の入手
電子媒体
eBook
14
出版事項 2010
目次:
“... Correctness -- Efficient Semantic Event Processing: Lessons Learned in User Interface Integration -- Usage...”全文の入手
電子媒体
eBook
15
出版事項 2010
目次:
“... for Access Control and Trustiness of Resources in Cloud Computing -- Social Networks -- Modeling of Trust...”全文の入手
電子媒体
eBook