The Experts below are selected from a list of 174597 Experts worldwide ranked by ideXlab platform
Marina Ribaudo - One of the best experts on this subject based on the ideXlab platform.
-
software performance modelling using pepa nets
Workshop on Software and Performance, 2004Co-Authors: Stephen Gilmore, Leïla Kloul, Jane Hillston, Marina RibaudoAbstract:Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets---coloured stochastic Petri nets---are a recently introduced modelling formalism which clearly capture important features such as location, synchronisation and message passing. In this paper we describe PEPA nets and the newly-developed Platform Support for software performance modelling using them. Crucial to this Support is the compilation from PEPA nets into Hillston's PEPA stochastic process algebra in order to access the software tools which Support the PEPA algebra. In addition to derivation of steady state performance measures, this suite of tools allows properties of the system to be verified using model-checking. We show the application of PEPA nets in the modelling and analysis of a secure Web service.
-
WOSP - Software performance modelling using PEPA nets
Proceedings of the fourth international workshop on Software and performance - WOSP '04, 2004Co-Authors: Stephen Gilmore, Leïla Kloul, Jane Hillston, Marina RibaudoAbstract:Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets---coloured stochastic Petri nets---are a recently introduced modelling formalism which clearly capture important features such as location, synchronisation and message passing. In this paper we describe PEPA nets and the newly-developed Platform Support for software performance modelling using them. Crucial to this Support is the compilation from PEPA nets into Hillston's PEPA stochastic process algebra in order to access the software tools which Support the PEPA algebra. In addition to derivation of steady state performance measures, this suite of tools allows properties of the system to be verified using model-checking. We show the application of PEPA nets in the modelling and analysis of a secure Web service.
Stephen Gilmore - One of the best experts on this subject based on the ideXlab platform.
-
software performance modelling using pepa nets
Workshop on Software and Performance, 2004Co-Authors: Stephen Gilmore, Leïla Kloul, Jane Hillston, Marina RibaudoAbstract:Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets---coloured stochastic Petri nets---are a recently introduced modelling formalism which clearly capture important features such as location, synchronisation and message passing. In this paper we describe PEPA nets and the newly-developed Platform Support for software performance modelling using them. Crucial to this Support is the compilation from PEPA nets into Hillston's PEPA stochastic process algebra in order to access the software tools which Support the PEPA algebra. In addition to derivation of steady state performance measures, this suite of tools allows properties of the system to be verified using model-checking. We show the application of PEPA nets in the modelling and analysis of a secure Web service.
-
WOSP - Software performance modelling using PEPA nets
Proceedings of the fourth international workshop on Software and performance - WOSP '04, 2004Co-Authors: Stephen Gilmore, Leïla Kloul, Jane Hillston, Marina RibaudoAbstract:Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets---coloured stochastic Petri nets---are a recently introduced modelling formalism which clearly capture important features such as location, synchronisation and message passing. In this paper we describe PEPA nets and the newly-developed Platform Support for software performance modelling using them. Crucial to this Support is the compilation from PEPA nets into Hillston's PEPA stochastic process algebra in order to access the software tools which Support the PEPA algebra. In addition to derivation of steady state performance measures, this suite of tools allows properties of the system to be verified using model-checking. We show the application of PEPA nets in the modelling and analysis of a secure Web service.
Luis Ricardo Martinhao Souto - One of the best experts on this subject based on the ideXlab platform.
-
Simulation-based cutaneous surgical-skill training on a chicken-skin bench model in a medical undergraduate program
Wolters Kluwer Medknow Publications, 2013Co-Authors: Rafael Denadai, Rogerio Saad Hossne, Luis Ricardo Martinhao SoutoAbstract:Background: Because of ethical and medico-legal aspects involved in the training of cutaneous surgical skills on living patients, human cadavers and living animals, it is necessary the search for alternative and effective forms of training simulation. Aims: To propose and describe an alternative methodology for teaching and learning the principles of cutaneous surgery in a medical undergraduate program by using a chicken-skin bench model. Materials and Methods: One instructor for every four students, teaching materials on cutaneous surgical skills, chicken trunks, wings, or thighs, a rigid Platform Support, needled threads, needle holders, surgical blades with scalpel handles, rat-tooth tweezers, scissors, and marking pens were necessary for training simulation. Results: A proposal for simulation-based training on incision, suture, biopsy, and on reconstruction techniques using a chicken-skin bench model distributed in several sessions and with increasing levels of difficultywas structured. Both feedback and objective evaluations always directed to individual students were also outlined. Conclusion: The teaching of a methodology for the principles of cutaneous surgery using a chicken-skin bench model versatile, portable, easy to assemble, and inexpensive is an alternative and complementary option to the armamentarium of methods based on other bench models described
Souto, Luís Ricardo Martinhão - One of the best experts on this subject based on the ideXlab platform.
-
Simulation-based cutaneous surgical-skill training on a chicken-skin bench model in a medical undergraduate program
2013Co-Authors: Denadai Rafael, Saad-hossne Rogério, Souto, Luís Ricardo MartinhãoAbstract:Background: Because of ethical and medico-legal aspects involved in the training of cutaneous surgical skills on living patients, human cadavers and living animals, it is necessary the search for alternative and effective forms of training simulation. Aims: To propose and describe an alternative methodology for teaching and learning the principles of cutaneous surgery in a medical undergraduate program by using a chicken-skin bench model. Materials and Methods: One instructor for every four students, teaching materials on cutaneous surgical skills, chicken trunks, wings, or thighs, a rigid Platform Support, needled threads, needle holders, surgical blades with scalpel handles, rat-tooth tweezers, scissors, and marking pens were necessary for training simulation. Results: A proposal for simulation-based training on incision, suture, biopsy, and on reconstruction techniques using a chicken-skin bench model distributed in several sessions and with increasing levels of difficultywas structured. Both feedback and objective evaluations always directed to individual students were also outlined. Conclusion: The teaching of a methodology for the principles of cutaneous surgery using a chicken-skin bench model versatile, portable, easy to assemble, and inexpensive is an alternative and complementary option to the armamentarium of methods based on other bench models described. © Indian Journal of Dermatology 2013
Rajesh Vasa - One of the best experts on this subject based on the ideXlab platform.
-
intelligent sensing to inform and learn instil a scalable and governance aware Platform for universal smartphone based digital phenotyping for research and clinical applications
Journal of Medical Internet Research, 2019Co-Authors: Scott Barnett, Kit Huckvale, Helen Christensen, Svetha Venkatesh, Kon Mouzakis, Rajesh VasaAbstract:In this viewpoint we describe the architecture of, and design rationale for, a new software Platform designed to Support the conduct of digital phenotyping research studies. These studies seek to collect passive and active sensor signals from participants' smartphones for the purposes of modelling and predicting health outcomes, with a specific focus on mental health. We also highlight features of the current research landscape that recommend the coordinated development of such Platforms, including the significant technical and resource costs of development, and we identify specific considerations relevant to the design of Platforms for digital phenotyping. In addition, we describe trade-offs relating to data quality and completeness versus the experience for patients and public users who consent to their devices being used to collect data. We summarize distinctive features of the resulting Platform, InSTIL (Intelligent Sensing to Inform and Learn), which includes universal (ie, cross-Platform) Support for both iOS and Android devices and privacy-preserving mechanisms which, by default, collect only anonymized participant data. We conclude with a discussion of recommendations for future work arising from learning during the development of the Platform. The development of the InSTIL Platform is a key step towards our research vision of a population-scale, international, digital phenotyping bank. With suitable adoption, the Platform will aggregate signals from large numbers of participants and large numbers of research studies to Support modelling and machine learning analyses focused on the prediction of mental illness onset and disease trajectories.