We present work on using automata based behavioral descriptions (behavioral types) of OSGi components for monitoring their specified behavior at runtime. Behavioral types are associated with OSGi components. We are focusing on behavioral types that specify protocols defined by possible orders of method calls of and between components and specifications based on the maximal execution time of the...

aim and background: the role of behavioral inhibition and activation systems as predisposing factors in readiness for emotional and behavioral problems in adolescents has been increasingly studied in recent years. the purpose of this study was to investigate the role of these two systems in predicting the development of psychopathology in adolescents. methods and materials: the study population...

abstract background: nowadays, prevalence of addictive behaviors among bipolar patients is considered to be a serious health threat by the world health organization. the aim of this study is to investigate the role of behavioral activation and inhibition systems in predicting addictive behaviors of male patients with bipolar disorder at the roozbeh psychiatric hospital. materials and methods: t...