Filters








7 Hits in 3.9 sec

Testing and certification of trustworthy systems introduction to minitrack

A.R. Hevner, R.C. Linger, G.H. Walton
2004 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the  
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

A.R. Hevner, R.C. Linger, G. Walton
2003 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the  
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

A.R. Hevner, R.C. Linger, G.H. Walton
Proceedings of the 38th Annual Hawaii International Conference on System Sciences  
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

Sirkka Jarvenpaa, Robin Teigland
2018 Proceedings of the 51st Hawaii International Conference on System Sciences   unpublished
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

R.H. Sprague
Proceedings of the 38th Annual Hawaii International Conference on System Sciences  
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

Himanshu Khurana, Mohammad Hasan Khan, Von Welch
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
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]

Steven O. Kimbrough, D.J. Wu
Formal Modelling in Electronic Commerce  
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