The Experts below are selected from a list of 321 Experts worldwide ranked by ideXlab platform
Sallie-anne Pearson - One of the best experts on this subject based on the ideXlab platform.
-
Uptake of a web-based oncology Protocol System: how do cancer clinicians use eviQ cancer treatments online?
BMC cancer, 2013Co-Authors: Julia M Langton, Nicole Pesa, Shelley Rushton, Robyn L. Ward, Sallie-anne PearsonAbstract:The use of computerized Systems to support evidence-based practice is commonplace in contemporary medicine. Despite the prolific use of electronic support Systems there has been relatively little research on the uptake of web-based Systems in the oncology setting. Our objective was to examine the uptake of a web-based oncology Protocol System ( http://www.eviq.org.au ) by Australian cancer clinicians. We used web-logfiles and Google Analytics to examine the characteristics of eviQ registrants from October 2009-December 2011 and patterns of use by cancer clinicians during a typical month. As of December 2011, there were 16,037 registrants; 85% of whom were Australian health care professionals. During a typical month 87% of webhits occurred in standard clinical hours (08:00 to 18:00 weekdays). Raw webhits were proportional to the size of clinician groups: nurses (47% of Australian registrants), followed by doctors (20%), and pharmacists (14%). However, pharmacists had up to three times the webhit rate of other clinical groups. Clinicians spent five times longer viewing chemotherapy Protocol pages than other content and the Protocols viewed reflect the most common cancers: lung, breast and colorectal. Our results demonstrate eviQ is used by a range of health professionals involved in cancer treatment at the point-of-care. Continued monitoring of electronic decision support Systems is vital to understanding how they are used in clinical practice and their impact on processes of care and patient outcomes.
-
eviQ cancer treatments online: How does the web‐based Protocol System fare in a comprehensive quality assessment?
Asia-Pacific journal of clinical oncology, 2011Co-Authors: Julia M Langton, Sallie-anne PearsonAbstract:Aims: There have been few evaluations of the quality of computerized decision support tools in medical oncology despite their widespread use in clinical practice. In this article, we provide an in-depth quality assessment of eviQ, an Australian web-based Protocol System. Methods: We used the Appraisal of Guidelines for Research and Evaluation (AGREE-II) instrument to examine the quality of eviQ chemotherapy Protocols across six domains: scope and purpose, stakeholder involvement, rigor of development, clarity of presentation, applicability, editorial independence and overall quality rating. Domain scores were categorized as high quality (scores of >70%), moderate quality (30–70%), and low quality (
-
Implementing a web-based oncology Protocol System in Australia: evaluation of the first 3 years of operation.
Internal medicine journal, 2010Co-Authors: I. M. Hains, Robyn L. Ward, Sallie-anne PearsonAbstract:Background: EviQ is a web-based oncology Protocol System launched across Australia in 2005. We evaluated eviQ use at the point-of-care and determined the factors impacting on its uptake and routine use in the first three years of operation. Methods: We conducted a suite of qualitative and quantitative studies with over 200 Australian oncology physicians, nurses and pharmacists working at treatment centres in diverse geographical locations. Results: EviQ was part of routine care at many hospitals; however, the way in which it was used at the point-of-care varies according to clinician roles and hospital location. We identified a range of factors impacting on eviQ uptake and routine use. Infrastructure, such as availability of point-of-care computers, and formal policies endorsing eviQ are fundamental to increasing uptake. Furthermore, the level of clinical and computer experience of end-users, the attitudes and behaviour of clinicians, endorsement and promotion strategies, and level and type of eviQ education all need to be considered and managed to ensure that the System is being used to its full potential. Conclusion: Our findings show that the dissemination of web-based treatment Protocols does not guarantee widespread use. Organisational, environmental and clinician-specific factors play a role in uptake and utilisation. The deployment of sufficient computer infrastructure, implementation of targeted training programmes and hospital policies and investment in marketing approaches are fundamental to uptake and continued use. This study highlights the value of ongoing monitoring and evaluation to ensure Systems like eviQ achieve their primary purpose - reducing treatment variation and improving quality of care. © 2010 The Authors. Internal Medicine Journal
David Lee - One of the best experts on this subject based on the ideXlab platform.
-
Formal methods and tools for testing communication Protocol System security
2008Co-Authors: David Lee, Guoqiang ShuAbstract:Communication Protocol is the cornerstone of today’s network and distributed computing System. The correct functioning of a Protocol relies on both a flawless specification and a correct implementation. While prevalent work focuses on validating the soundness of specification, implementations are inherently more complicated and might introduce discrepancy and very likely vulnerabilities. Hence, study on theory and practice of Protocol testing is of significant importance. Furthermore, with the increasing consideration for properties such as security, privacy and robustness of Protocol Systems, the role of Protocol testing goes beyond the traditional notion of checking conformance of an implementation. Existing solutions for testing security features rely largely on expert insights of Protocols and manual efforts, and could hardly be generalized or automated. Formal methods have proven to be promising toward developing automated and generic Protocol verification and testing methods. This thesis studies a model based formal approach for testing security related properties for communication Protocol Systems. The first part of the work introduces a new formal Protocol model–Symbolic Parameterized Extended Finite State Machine (SP-EFSM). SP-EFSM model augments the traditional communicating EFSM model with (1) a symbolic Protocol message language; and (2) parameterized input and output symbols in order to cope with the rich semantics of modern Protocol with cryptographic primitives. A Protocol is specified by a set of SP-EFSM (each is called a component) interacting with each other through sending and receiving messages. Various properties–both functional and non-functional–and verification problems could be specified using this formal model. The power of the proposed methodology is demonstrated by its application to several newly emerging and interesting research problems related to network Protocol security and reliability. The second part of this thesis shows that the formal modeling techniques can contribute to solutions that are fundamentally more general and automatic than existing ones. We first study the problem of black box testing of message confidentiality–an important security property under Dolev-Yao attacker model. While it is well known that for validation problem could be reduced to a reachability problem in the composed SP-EFSM model, testing this property faces a major challenge that the specification may not be available or comprehensive to cover all implementation details. For this reason it is hard apply classic conformance testing approaches. To overcome this difficulty a supervised learning based approach is used to discover the internal structure of black-box implementations by active testing and to validate the confidentiality property on-the-fly. The same formal modeling methodology is also applied to solve the problem of black-box Protocol fingerprinting. Protocol fingerprinting refers to the process of distinguishing between different Protocol implementation by their input and output behaviors, and it has been regarded as both a potential threat to cyberspace security and also as an effective mechanism for network management. SP-EFSM model is used to record the distinguishing structural aspects of an implementation by its states and transitions. A complete taxonomy of fingerprint matching and discovery problems is identified, based on (1) how much information about the candidate implementations is known; and (2) whether the fingerprinting experiment is active or passive. For fingerprint matching algorithm, we propose an online separation algorithm for active experiment and concurrent passive testing for passive experiments. For fingerprint discovery problem, there are two cases: if the Protocol specification is available as a nondeterministic SP-EFSM, we apply across verification and back-tracing technique for active and passive discovery, respectively; if no specification is available, we take the learning approach described above and discover the fingerprint by active testing. In last part of the thesis, the practicality of the proposed formal model is investigated. In the test generation module of a real world security testing System, SP-EFSM model is integrated and used to specify sophisticated features of a security device. Algorithms for manipulating the model are implemented, including particularly reachability analysis algorithm and test sequence generation algorithm. Test sequences are automatically translated into template of executable low level test cases. By providing test cases with high fault coverage and reducing significantly amount of manual effort required, we show that using formal techniques benefits network Protocol testbed design in a realistic way.
-
OPODIS - Protocol System integration, interface and interoperability
Lecture Notes in Computer Science, 2005Co-Authors: David Lee, Christine Liu, Mihalis YannakakisAbstract:Heterogeneous network Protocol Systems are integrated together to fulfill complex tasks and their interoperability is a major hurdle for the network reliability and quality of services. We identify a new equivalence relation of states that preserves the integrated System interface behaviors. Based on this state equivalence we study the minimization of the System components with respect to their interfaces and design an efficient polynomial time minimization algorithm. We apply our technique to GMPLS Protocols and obtain a significant state space reduction. We discuss integrated Protocol System verification and interoperability testing with the minimized state System without resorting to the global state space information.
-
FORTE - Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
Lecture Notes in Computer Science, 2004Co-Authors: Baptiste Alcalde, Dongluo Chen, Ana Cavalli, Davy Khuu, David LeeAbstract:Passive testing has proved to be a powerful technique for Protocol System fault detection by observing its input/output behaviors yet without interrupting its normal operations. To improve the fault detection capabilities we propose a backward checking method that analyzes in a backward fashion the input/output trace from passive testing and its past. It effectively checks both the control and data portion of a Protocol System, compliments the forward checking approaches, and detects more errors. We present our algorithm, study its termination and complexity, and report experiment results on the Protocol SCP.
-
Modeling and Testing of Protocol Systems
Testing of Communicating Systems, 1997Co-Authors: David LeeAbstract:Presented are conformance testing of the control portions of Protocol Systems, which can be modeled by finite state machines and checking sequences that can be used to verify the structural isomorphism of an implementation of the Protocol System with its finite state machine-based specification. However, finite state machines are not powerful enough to model data portions associated with many real Systems such as Personal HandyPhone Systems and 5ESS Intelligent Network Application Protocols. Extended finite state machines with variables and means to test them are also presented. Practical Systems like ATM Traffic Management Protocols often contain parameters in the input/output cells; they increase the observability of the System but complicate their testing. Our model is further extended to communicating parameterized extended finite state machines for the test generation.
-
FORTE - Test Sequence Selection
Formal Techniques for Networked and Distributed Systems, 1Co-Authors: David Lee, Ruibing HaoAbstract:We study the test sequence selection problem. Given a large number of tests for a Protocol System, we want to select a subset of tests so that the number of tests is reduced yet the test coverage is not sacrificed. We discuss the complexity of the test selection problem and propose a class of algorithms for different Protocol System information requirements, test coverage criteria, and cost. We report experimental results on ISDN connection control Protocol System Q.931.
Julia M Langton - One of the best experts on this subject based on the ideXlab platform.
-
Uptake of a web-based oncology Protocol System: how do cancer clinicians use eviQ cancer treatments online?
BMC cancer, 2013Co-Authors: Julia M Langton, Nicole Pesa, Shelley Rushton, Robyn L. Ward, Sallie-anne PearsonAbstract:The use of computerized Systems to support evidence-based practice is commonplace in contemporary medicine. Despite the prolific use of electronic support Systems there has been relatively little research on the uptake of web-based Systems in the oncology setting. Our objective was to examine the uptake of a web-based oncology Protocol System ( http://www.eviq.org.au ) by Australian cancer clinicians. We used web-logfiles and Google Analytics to examine the characteristics of eviQ registrants from October 2009-December 2011 and patterns of use by cancer clinicians during a typical month. As of December 2011, there were 16,037 registrants; 85% of whom were Australian health care professionals. During a typical month 87% of webhits occurred in standard clinical hours (08:00 to 18:00 weekdays). Raw webhits were proportional to the size of clinician groups: nurses (47% of Australian registrants), followed by doctors (20%), and pharmacists (14%). However, pharmacists had up to three times the webhit rate of other clinical groups. Clinicians spent five times longer viewing chemotherapy Protocol pages than other content and the Protocols viewed reflect the most common cancers: lung, breast and colorectal. Our results demonstrate eviQ is used by a range of health professionals involved in cancer treatment at the point-of-care. Continued monitoring of electronic decision support Systems is vital to understanding how they are used in clinical practice and their impact on processes of care and patient outcomes.
-
eviQ cancer treatments online: How does the web‐based Protocol System fare in a comprehensive quality assessment?
Asia-Pacific journal of clinical oncology, 2011Co-Authors: Julia M Langton, Sallie-anne PearsonAbstract:Aims: There have been few evaluations of the quality of computerized decision support tools in medical oncology despite their widespread use in clinical practice. In this article, we provide an in-depth quality assessment of eviQ, an Australian web-based Protocol System. Methods: We used the Appraisal of Guidelines for Research and Evaluation (AGREE-II) instrument to examine the quality of eviQ chemotherapy Protocols across six domains: scope and purpose, stakeholder involvement, rigor of development, clarity of presentation, applicability, editorial independence and overall quality rating. Domain scores were categorized as high quality (scores of >70%), moderate quality (30–70%), and low quality (
Liu Yuansheng - One of the best experts on this subject based on the ideXlab platform.
-
User independent Protocol System for network security
MILCOM 2002. Proceedings, 2002Co-Authors: Luo Li, Li Zheying, Liu YuanshengAbstract:The Internet is an open information transmission System. All communications and Protocols are open to every one or organization. If people hope to keep their information or protect their System, they need to overcome the problems of an open System. The paper addressed a new concept for Internet security. The concept is to open network Protocols but to use a user independent receiver Protocol. To protect the user independent Protocol, we need a user artificial neural network and watermark technology. Finally, the paper addresses the hardware security architecture.
Robyn L. Ward - One of the best experts on this subject based on the ideXlab platform.
-
Uptake of a web-based oncology Protocol System: how do cancer clinicians use eviQ cancer treatments online?
BMC cancer, 2013Co-Authors: Julia M Langton, Nicole Pesa, Shelley Rushton, Robyn L. Ward, Sallie-anne PearsonAbstract:The use of computerized Systems to support evidence-based practice is commonplace in contemporary medicine. Despite the prolific use of electronic support Systems there has been relatively little research on the uptake of web-based Systems in the oncology setting. Our objective was to examine the uptake of a web-based oncology Protocol System ( http://www.eviq.org.au ) by Australian cancer clinicians. We used web-logfiles and Google Analytics to examine the characteristics of eviQ registrants from October 2009-December 2011 and patterns of use by cancer clinicians during a typical month. As of December 2011, there were 16,037 registrants; 85% of whom were Australian health care professionals. During a typical month 87% of webhits occurred in standard clinical hours (08:00 to 18:00 weekdays). Raw webhits were proportional to the size of clinician groups: nurses (47% of Australian registrants), followed by doctors (20%), and pharmacists (14%). However, pharmacists had up to three times the webhit rate of other clinical groups. Clinicians spent five times longer viewing chemotherapy Protocol pages than other content and the Protocols viewed reflect the most common cancers: lung, breast and colorectal. Our results demonstrate eviQ is used by a range of health professionals involved in cancer treatment at the point-of-care. Continued monitoring of electronic decision support Systems is vital to understanding how they are used in clinical practice and their impact on processes of care and patient outcomes.
-
Implementing a web-based oncology Protocol System in Australia: evaluation of the first 3 years of operation.
Internal medicine journal, 2010Co-Authors: I. M. Hains, Robyn L. Ward, Sallie-anne PearsonAbstract:Background: EviQ is a web-based oncology Protocol System launched across Australia in 2005. We evaluated eviQ use at the point-of-care and determined the factors impacting on its uptake and routine use in the first three years of operation. Methods: We conducted a suite of qualitative and quantitative studies with over 200 Australian oncology physicians, nurses and pharmacists working at treatment centres in diverse geographical locations. Results: EviQ was part of routine care at many hospitals; however, the way in which it was used at the point-of-care varies according to clinician roles and hospital location. We identified a range of factors impacting on eviQ uptake and routine use. Infrastructure, such as availability of point-of-care computers, and formal policies endorsing eviQ are fundamental to increasing uptake. Furthermore, the level of clinical and computer experience of end-users, the attitudes and behaviour of clinicians, endorsement and promotion strategies, and level and type of eviQ education all need to be considered and managed to ensure that the System is being used to its full potential. Conclusion: Our findings show that the dissemination of web-based treatment Protocols does not guarantee widespread use. Organisational, environmental and clinician-specific factors play a role in uptake and utilisation. The deployment of sufficient computer infrastructure, implementation of targeted training programmes and hospital policies and investment in marketing approaches are fundamental to uptake and continued use. This study highlights the value of ongoing monitoring and evaluation to ensure Systems like eviQ achieve their primary purpose - reducing treatment variation and improving quality of care. © 2010 The Authors. Internal Medicine Journal
