A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Filters
Testing and certification of trustworthy systems introduction to minitrack
2004
37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the
Preserved Fulltext
The Testing and Certification of Trustworthy Systems Minitrack focuses on research that will drive widespread use of rigorous testing and certification technologies. ...
In correctness verification in system certification • Industrial case studies in testing and certification The Minitrack papers are summarized below. ...
doi:10.1109/hicss.2004.1265706
dblp:conf/hicss/HevnerLW04
fatcat:ja5ohw56wre5tpdvswv5rs7npy
Testing and certification of trustworthy systems introduction to minitrack
2003
36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
The Testing and Certification of Trustworthy Systems Minitrack focuses on research that will drive widespread use of rigorous testing and certification technologies. ...
In correctness verification in system certification • Industrial case studies in testing and certification The Minitrack papers are summarized below. ...
doi:10.1109/hicss.2003.1174913
dblp:conf/hicss/HevnerLW03
fatcat:rkbmhi7rmvaeff45m3mp7kkvjy
Testing and Certification of Trustworthy Systems Introduction to Minitrack
Proceedings of the 38th Annual Hawaii International Conference on System Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
The Testing and Certification of Trustworthy Systems Minitrack focuses on research that will drive widespread use of rigorous testing and certification technologies. ...
In correctness verification in system certification • Industrial case studies in testing and certification The Minitrack papers are summarized below. ...
doi:10.1109/hicss.2005.582
dblp:conf/hicss/HevnerLW05
fatcat:hwroe57u4bexzmzgytia7n3fq4
Introduction to the Minitrack on Trust, Identity, and Trusted Systems in Digital Environments
2018
Proceedings of the 51st Hawaii International Conference on System Sciences
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Within the 51th Hawaiian International Conference on System Sciences (HICSS), we organize for the second time a minitrack on Trust, Identity, and Trusted Systems in Digital Environments. ...
Through four papers, the track will discuss and debate when and to what degree trust matters, in what form(s), and with which consequences in the context of software code, cognitive assistants, the sharing ...
The authors use a convenience sample of students in Mexico, Indonesia, and the USA to test a model of consumer trust in sustainable product and certification information included in the product's package ...
doi:10.24251/hicss.2018.670
fatcat:izzzwpuiuvawfaw7rbi3cpcjxe
Emerging Technologies Track
Proceedings of the 38th Annual Hawaii International Conference on System Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The Advances in Software Specifications and Verification minitrack became the Testing and Certification of Trustworthy Systems minitrack in the Software Track. ...
minitrack to the Configware Minitrack which examined the use of dynamically reconfigurable computing systems. ...
doi:10.1109/hicss.2005.232
dblp:conf/hicss/Sprague05
fatcat:czxd3xkyxvcmnczfn72pdgfl3y
Leveraging Computational Grid Technologies for Building a Secure and Manageable Power Grid
2007
2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The IT systems that comprise a major part of this change need to address a number of security and management challenges for the data generated by power systems and for resources consumed by distributed ...
We identify striking similarities between the systems and use these similarities to suggest ways of addressing challenging problems; e.g., securing inter-control center communications and power grid infrastructures ...
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. ...
doi:10.1109/hicss.2007.323
dblp:conf/hicss/KhuranaKW07
fatcat:566glnkmibaonlycghv4ep3n64
FMEC: Overview and Interpretation
[chapter]
Formal Modelling in Electronic Commerce
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A Summary of Simulations See Table 4 . In all simulations, strategies were selected from the unit cube (or square) with uniform random deviates (excluding 0 and 1). ...
End notes Much of the work described in this paper was produced for the "Workshop on Formal Models for Electronic Commerce," organized by Yao-Hua Tan
Acknowledgements The work reported here was supported ...
The Logic Modelling and FMEC minitracks have concentrations of the papers, but other minitracks hold them as well. To date, 21 Ph.D. theses have been produced in the FMEC community. ...
doi:10.1007/3-540-26989-4_1
fatcat:i2edv2pv75ccnaf4ocgw2ozbbi