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