We present an ongoing project on reasoning on properties of distributed systems based on monitoring of their executions. The proposed approach uses SDL to model an execution trace of the system under test and an existing model checker to perform the analysis of properties of interest specified in the SDL-like language GOAL. For this purpose, we use the available ObjectGEODE tool set. We describ...

A modified version of SDL (Timed SDL; TSDL) suitable for performance evaluation and validation is presented. The modifications are done in a way, that TSDL is very close to SDL. A prototypic version of a program package is described, which takes a TSDL model as input and creates an internal representation of an equivalent Finite State Machine. Furthermore efficient analysis algorithms for parti...

With the growth of the Internet as a vehicle for commercial, governmental, and personal communications and information sharing, the importance of providing trustworthy computing facilities that will resist hostile attack has grown dramatically. In response to this growing need, Microsoft has developed the Trustworthy Computing Security Development Lifecycle (SDL), an integrated process for impr...

Background Implementing English medium instruction (EMI) has become a proliferating measure in higher education to embrace globalization. Nevertheless, university students reported various challenges taking EMI courses. Objectives This study investigated the effect of computer-mediated terminology pretraining on students' success, regarding their efficacy courses, self-directed learning (SDL), ...

Sparse dictionary learning (SDL) has become a popular method for learning parsimonious representations of data, a fundamental problem in machine learning and signal processing. While most work on SDL assumes a training dataset of independent and identically distributed (IID) samples, a variant known as convolutional sparse dictionary learning (CSDL) relaxes this assumption to allowdependent, no...

Simulation, and specifically social simulation, is a discipline that usually involves professionals with different formation. This implies that the modeling languages, tools and infrastructures used to model can be diverse. This paper has the main objective of show a graphical language, widely used in the engineering field, which allows a complete graphical and no ambiguous description of a sim...

In line-crossing experiments, deviations from Mendelian segregation ratios are usually observed for some markers. We hypothesize that these deviations are caused by one or more segregation-distorting loci (SDL) linked to the markers. We develop both a maximum-likelihood (ML) method and a Bayesian method to map SDL using molecular markers. The ML mapping is implemented via an EM algorithm and th...

Due to the large variety of modern applications and evolving network technologies, a small number of general-purpose protocol stacks will no longer be sufficient. Rather, customization of communication protocols will play a major role. In this paper, we present an approach that has the potential to substantially reduce the effort for designing customized protocols. Our approach is based on the ...

SDL and MSC are standardized specification techniques for the development of reactive real-time systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relati...

This paper presents an overview of the application of ITU-SDL for the development of distributed systems according to the RM-ODP. The use of the advanced SITE tools for the simulation and prototype code generation of/from SDL specifications of computational as well as engineering objects is illustrated. The advantages of this approach are shown by applying it on the ODP trading function as an e...