the purpose of this study is to explore and classify the perceptions of the phenomenon of hypocrisy in organization from viewpoint of employees in a university using phenomenography, so that achieving to a deeper understanding of this phenomenon. sampling was done by maximum variation method and sample size was determined 30 people using theoretical saturation. some open semi-structural intervi...

Most qualitative simulation techniques perform simulation at a single level of detail highlighting a fixed set of distinctions . This can lead to intractable branching within the behavioral description . The complexity of the simulation can be reduced by eliminating uninteresting distinctions . Behavior abstraction provides a hierarchy of behavioral descriptions allowing the modeler to select t...

Competent design of hierarchical interfaces for hardware/software systems needs the convergence of three concurrent research directions: the study of hierarchy types, the intelligent communication between different domains, the formalization of verification/test. We aim to extend the theory of hierarchy types, in order to integrate communication properties as well as correctness and testability...

Most qualitative simulation techniques perform simulation at a single level of detail highlighting a xed set of distinctions. This can lead to intractable branching within the behavioral description. The complexity of the simulation can be reduced by eliminating uninteresting distinctions. Behavior abstraction provides a hierarchy of behav-ioral descriptions allowing the modeler to select the a...

SYNOPSIS. Previous models of behavioral choice have described two types of hierarchy, a decision hierarchy, in which different classes of decisions are made at each level (Tinbergen, 1951), and a behavioral hierarchy, in which one behavior will take precedence over others (Davis, 1985). Most experimental work on the neuronal basis of decision-making has focussed on the latter of these: a behavi...

Human behavior has long been recognized to display hierarchical structure: actions fit together into subtasks, which cohere into extended goal-directed activities. Arranging actions hierarchically has well established benefits, allowing behaviors to be represented efficiently by the brain, and allowing solutions to new tasks to be discovered easily. However, these payoffs depend on the particul...

In this paper we present several practical methods for formally verifying an Asynchronous Transfer Mode (ATM) network switching fabric using the Verification Interacting with Synthesis (VIS) tool. We produced Verilog RTL behavioral and netlist structural descriptions of the switch fabric at different levels of hierarchy and established several abstracted models of the fabric. Using various tech...