http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Specification and Verification of Actor Protocols with Finite-state Machines
Schuster, Jonathan ProQuest Dissertations & Theses Northeastern Unive 2019 해외박사(DDOD)
Many programmers use the actor model to build distributed systems. The communication aspects of such systems are notoriously hard to implement correctly, however, leading programmers to spend more time debugging protocol implementations and less time focusing on application logic. Furthermore, the common approach of specifying a protocol as a finite-state machine and verifying that the program implements this protocol is insufficient, because standard FSMs do not account for the dynamic, evolving communication topologies in actor programs.To address this problem, this dissertation defines a specification language that augments finite-state machines with the ability to describe address-passing aspects of actor protocols. Additionally, the dissertation develops a series of proof techniques for such specifications, as well as a model-checking algorithm that verifies whether a program conforms to its specification. When applied to realistic actor programs and specifications, the model checker can both detect protocol-violating bugs and prove conformance in a reasonable amount of time.
Examining treatment outcomes for Hmong American youth with delinquency problems
Schuster, Rachael A Indiana University 2010 해외박사(DDOD)
This study addresses two important problems documented in the literature: the persistence of youth delinquency problems and the lack of research on evidence-based treatments with minorities. This community-based study compares the outcomes of an evidence-based family therapy treatment and residential treatment using archival data to determine the relative effectiveness of treatments with a particular racial/ethnic minority group of juvenile offenders. The sample included 153 Hmong Americans (an Asian American subgroup). Findings indicated that Hmong American juveniles who received family therapy were significantly less likely to re-offend that those who received residential treatment. When factors including youth's age and initial level of risk were accounted for in the analysis, results indicated no significant difference between groups in youth recidivism (i.e., rate of reoffense) or recidivism crime severity. The results of this study have important implications for decision-making about treating youth with behavior problems effectively, as well as utilizing evidence-based treatments with minority clients.