The current version of QUEST covers SDL'88 and part of SDL'92. Some new features of SDL'92 like priority input, value returning procedures, spontaneous transitions and different continuous signals with identical priority are supported by QUEST. In the future QUEST will provide improved front-and back ends. Furthermore we are doing research in the field of timed validation and verification that ...

Investigating the features and flow behavior and related component is one of the complex phenomena that make using of software inevitable. The rivers carry sediment content along with water which is created by erosion of riverbed sediment and erosion caused by rainfall or surface runoff flowing over the catchment area. If the action of river dewatering occurs, the entry of sediment into the int...

This paper presents formulas for calculating waiting time for customers in a queue with combined preemptive and head-ofline (nonpreemptive) priority scheduling disciplines and describes the reasoning behind them. This work has been applied in the development of programmable terminal control units. Introduction The development of programmable terminal control units has created the need for a new...

one of the main features of high throughput computing systems is the availability of high power processing resources. cloud computing systems can offer these features through concepts like pay-per-use and quality of service (qos) over the internet. many applications in cloud computing are represented by workflows. quality of service is one of the most important challenges in the context of sche...

Human can flexibly attend to a variety of stimulus dimensions, including spatial location and various features such as color and direction of motion. Although the locus of spatial attention has been hypothesized to be represented by priority maps encoded in several dorsal frontal and parietal areas, it is unknown how the brain represents attended features. Here we examined the distribution and ...