Modeling and simulation of communication circuits at high frequency are important challenges ahead in the design and construction of these circuits. Knowing the fact that the lumped element model is not valid at high frequency, distributed analysis is presented based on active and passive transmission lines theory. In this paper, a lossy transmission line model of traveling wave switch (TWSW) i...

We introduce a probabilistic framework for the automated analysis of security protocols. Our framework provides a general method for expressing properties of cryptographic primitives, modeling an attacker more powerful than conventional Dolev-Yao attackers. It allows modeling equational properties of cryptographic primitives as well as property statements about their weaknesses, e.g. primitives...

Evaluation, prioritization and selection of candidate requirements are of tremendous importance and impact for subsequent software development. Effort, time as well as quality constraints have to be taken into account. Typically, different stakeholders have conflicting priorities and the requirements of all these stakeholders have to be balanced in an appropriate way to ensure maximum value of ...

In this paper we introduce a generic approach to analyze system design models with regard to the satisfaction of their Non-Functional Requirements (NFRs) to enable the evaluation of their NFRs’ trade-offs. NFRs and their satisfaction become especially critical and deserve more attention in certain application domains such as real-time and embedded systems. This is mainly due to the constraints ...

This paper deals with the simulation of oo-road robots while taking into account the mechanical behavior of the locomotion system and its interaction with its environment. This interaction is studied and discussed for diierent behaviors of wheel-soil contact. The analysis considers phenomena of slips, of soil shear deformations, of soil compaction and wheel elastic deformation. Wheel-soil conta...

objectives: the authors of this paper hypothesized that vibration stimulation applied by a vibratory orthosis improves balance in patients with parkinson’s disease (pd). in this study we evaluate this hypothesis. methods & materials: fourteen pd patients (12 male and 2 female) with mean age of 59.9±9.1 (±sd) years were participated in this cross- sectional study. using biodex balance system, th...