1
Publicado em 2008
Sumário: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... for Software Quality in an IEC 62304 Compliant Development Process -- Trustable Formal Specification...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2015
Sumário: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2012
Sumário: ... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2012
Sumário: ...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... Language Processing -- Authoring Technical Documents for Effective Retrieval -- A Methodology towards...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2007
Sumário: ...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2015
Sumário: ... Based on the Decompositions of Trustworthy Attributes and Its Validation; Hongwei Tao, et al -- Review...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2010
Sumário: ... Correctness -- Efficient Semantic Event Processing: Lessons Learned in User Interface Integration -- Usage...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... for Access Control and Trustiness of Resources in Cloud Computing -- Social Networks -- Modeling of Trust...
Obter o texto integral
Recurso Electrónico livro electrónico