Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Charles T. Cook"'
Autor:
Vishwas Powar, Clifford Harmstad, Christopher J. Post, Mohammad Mayyan, Elena A. Mikhailova, Akshay Bapat, Charles T. Cook
Publikováno v:
2019 IEEE 16th International Conference on Smart Cities: Improving Quality of Life Using ICT & IoT and AI (HONET-ICT).
Water quantity and quality monitoring of urban watercourses have begun to evolve from traditional approaches based on manual observations to more examples of smart sensing based on Wireless Sensor Networks (WSNs). However, there is an urgent need to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b2d908ad7d8e1c262a0dbb3f6557f6c2
https://doi.org/10.1109/honet.2019.8908007
https://doi.org/10.1109/honet.2019.8908007
Publikováno v:
Software: Practice and Experience. 45:857-872
This paper summarizes our experiences over the last 4years in creating a web-integrated software development and verification environment. The environment has been used for both research experimentation and education. It has been used in undergraduat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac2056098abfdc9fceecf7a8bc2513b0
https://doi.org/10.1002/spe.2259
https://doi.org/10.1002/spe.2259
Autor:
Jiannan Zhai, Jason O. Hallstrom, Charles T. Cook, Gene Eidson, Vamsi Gondi, G. Cullum Smith, Christopher J. Post
Publikováno v:
WF-IoT
Water is an essential resource, playing a vital role in almost all human activities. Water is also a scarce resource. Population growth, industrialization, and climate change pose significant threats, necessitating on real-time monitoring of water re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::249004fb79b2eae29f03b1533cbd1514
https://doi.org/10.1109/wf-iot.2016.7845411
https://doi.org/10.1109/wf-iot.2016.7845411
Publikováno v:
ISEC
RESOLVE is an integrated language that combines imperative programming and mathematical specifications for full functional verification of component-based programs. From a researcher's perspective, this paper summarizes the elements of RESOLVE's web
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::616cc1a59553791be58aa63d50945911
https://doi.org/10.1145/2590748.2590760
https://doi.org/10.1145/2590748.2590760
Autor:
Aravindh Sampath, Charles V. Privette, J. Barr von Oehsen, Jason O. Hallstrom, Gene Eidson, Gyanas Radhakrishnan, Charles T. Cook, David White, Ian Taylor, Edward B. Duffy, Julia L. Sharp
Publikováno v:
COM.Geo
Real-time quality control (QC) of streaming natural resource data is needed to support the delivery of high quality data to system users. QC processes need to enable the identification of aberrations, as well as trends that may indicate degradation o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa58e0218137c1ae369b78fcf5b5c6ca
https://doi.org/10.1109/comgeo.2013.25
https://doi.org/10.1109/comgeo.2013.25
Autor:
Jeffrey C. Carver, Joseph E. Hollingsworth, Murali Sitaraman, Charles T. Cook, Svetlana V. Drachova-Strang, Yu-Shan Sun
Publikováno v:
CSEE&T
A key goal of our research is to introduce an approach that involves at the outset using analytical reasoning as a method for developing high quality software. This paper summarizes our experiences in introducing mathematical reasoning and formal spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d0a5f07bb22b5743dc8c3695cb9c8f5
https://doi.org/10.1109/cseet.2013.6595254
https://doi.org/10.1109/cseet.2013.6595254
Autor:
Aditi Tagore, Dustin Hoffman, Joan Krone, Svetlana V. Drachova-Strang, Gregory Kulczycki, Yu-Shan Sun, Joseph E. Hollingsworth, Heather Harton, Blair Durkee, Charles T. Cook, Nighat Yasmin, Hampton Smith, Wayne D. Heym, Bruce W. Weide, William F. Ogden, Murali Sitaraman, Paolo Bucci, Diego Zaccai
Publikováno v:
Safe and Secure Software Reuse ISBN: 9783642389764
ICSR
ICSR
Safe and secure reuse is only achievable by deploying formally verified software components. This paper presents essential design objectives for languages for building such components and highlights key features in RESOLVE—a prototype for such lang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82c177f70934fea5b0c45280e9e50844
https://doi.org/10.1007/978-3-642-38977-1_23
https://doi.org/10.1007/978-3-642-38977-1_23
Publikováno v:
The Journal of Immunology. 87:310-325
Summary The conversion of EAC'1,4 to EAC'1,4,2 by purified C'2 has been investigated with respect to its kinetics and the principal factors influencing this reaction. A mathematical theory has been developed and its applicability evaluated. From kine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf90c255f130081286baed3270de52cd
https://doi.org/10.4049/jimmunol.87.3.310
https://doi.org/10.4049/jimmunol.87.3.310
Publikováno v:
Biochemistry. 7:2991-2996
A procedure is described for isolation of guinea pig C5. The product has a sedimentation coefficient of 7.8S and a molecular weight of about 180,000. It is free of the other eight complement components and no substantial non-complement contamination
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4dc86503c0b51f22ef01de68cb2846d
https://doi.org/10.1021/bi00848a040
https://doi.org/10.1021/bi00848a040
Publikováno v:
The Journal of Immunology. 106:467-472
A procedure is described for isolation of guinea pig C5. The product has a sedimentation coefficient of 7.8S and a molecular weight of about 180,000. It is free of the other eight complement components and no substantial non-complement contamination
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2cfc88a5b131060ecccb68a8a367895
https://doi.org/10.4049/jimmunol.106.2.467
https://doi.org/10.4049/jimmunol.106.2.467