A new system, called the Gluchoadreyn System, is proposed for the human organism by the author. It begins from the mouth cavity, continues through digestive system, cardiovascular system and reaches every atom and molecule, which constitutes the human body. The Gluchoadreyn System has several branches and conditionally divides the human body into several parts, subordinate to the same rules. It...

A regulating agency in a government, i.e. regulator, must co-align its information systems (IS) planning strategy with executing agencies, i.e. executors, for better e-government performance. Using an established strategic co-alignment model, we analyze the mutual participating strategies between regulator and executors and examine the outcomes and performance associated with that coalignment c...

In this paper, we propose an extension of classical finite state machine as it called a timer embedded finite state machine (TEFSM) with its formal modeling methods. In the proposed state-based approach, a discrete event system is modeled as a coupled TEFSM. Also presented is a systematic procedure and architecture of developing a simulation executor with a synchronization manager for the coupl...

Conditioned slicing can be applied to reverse engineering problems which involve the extraction of executable fragments of code in the context of some criteria of interest. This paper introduces ConSUS, a conditioner for the Wide Spectrum Language, WSL. The symbolic executor of ConSUS prunes the symbolic execution paths, and its predicate reasoning system uses the FermaT simplify transformation...

This paper describes how a runtime support library can be used as compiler runtime support in irregular applications. The CHAOS runtime support library carries out optimizations designed to reduce communication costs by performing software caching, communication coalescing and inspector/executor preprocessing. CHAOS also supplies special purpose routines to support speci c types of irregular re...

Abstrac t . Soccer meets the requirements of the Situated Agent approach and as a task domain is sufficiently rich to support research integrating many branches of AI. Reactive deliberation is a robot architecture that combines responsiveness to the environment with intelligent decision making. Under Reactive Deliberation, the robot controller is partitioned into a deliberator and an executor; ...

This paper reports the design of a runtime library for solving irregularly structured problems on clusters of symmetric multiprocessors (SMP clusters). Our design algorithms exploit a hybrid methodology which maps directly to the underlying hierarical memory system in SMP clusters, by combining two styles of programming methodolo-gies { threads (shared memory programming) within a SMP node and ...

In this paper, we examine the issues of workflow mapping and execution in opportunistic environments such as the grid. As applications become ever more complex, the process of choosing the appropriate resources and successfully executing the application components becomes ever more difficult. In this paper, we focus on the interplay between a workflow mapping component that plans the high-level...

System components are: knowledge-base the central ontological database perception extracts rectangular faces from RGB-D point clouds scene-generator builds up a set of Scenes waypoint-generator creates good observation poses contingent-planner uses the ontology data to generate smart inspection paths observation-action-planner handles sensor noise by re-running observation actions scenes-to-bel...

This paper describes a modelling language –Rainbowbased on Coloured Petri Nets, which was designed for modelling and simulation of complex systems. The formalism uses Java as the net annotating language. The timing model permits different policies to be associated with places which affect the token binding process. A graphical tool was achieved in Java which supports editing, debugging and simu...