Algebraic specification frameworks such as the Casl family of specification languages are presently expanding to encompass all aspects of software, including e.g. functional programming and reactive specification. Thus, a comprehensive environment for formal software development is being created. This paper gives an overview of publications by the author that contribute to this goal, both in th...

For a number of years, researchers in AI and robotics have been sharing organization principles for software development called "architectures", (Arkin, 1998; Hexmoor, Kortenkamp, Horswill, 1997; Kortenkamp, Bonasso, Murphy, 1998). Most recently, there has been an interest in extending the software architectures originally designed for robotic applications to accommodate autonomous operation be...

sepsis is a significant health problem with an estimated 750,000 new cases in the usa annually. it is also the third leading cause of death in developed countries, equaling the number of fatalities from acute myocardial infarction. the high sepsis-related mortalities mean there is an urgent need to improve the diagnosis and management of sepsis patients. the aim of this study was the evaluation...

The aim of this study was to assess the temporal patterns of (the formation of) thiobarbituric acid reactive substances and the activities of antioxidant enzymes in the erythrocytes of ten healthy adult subjects and ten oral cancer patients of comparable age. The levels of thiobarbituric acid reactive substances and the activities of antioxidant enzymes were assayed at 6-hour intervals using co...

Software engineers use system visualization mainly in two domains: algorithm visualization and system visualization, and both of these are often animated. In this paper we provide a generic link between the specification and animation of complex object-oriented reactive systems, which constitute one of the most important and difficult classes of systems. The link and its methodology form a basi...

To model complex systems, software agents need to combine cognitive abilities to reason about complex situations, and reactive abilities to meet hard deadlines. We propose an operational hybrid agent model which mixes well known paradigms (objects, actors, production rules and ATN) and real-time performances. This agent model combines cognitive and reactive modules. The cognitive module uses a ...

Real-time model-based eduction has recently emerged as a vital component in Al’s tool box for developing highly autonomous reactive systems. Yet one of the current hurdles towards developing model-based reactive systems is the number of methods imultaneously employed, and their corresponding melange of programming and modeling languages. This paper offers an important step towards unification o...

methods in this study, 150 children diagnosed with liver disease and ascites upon admission to nemazee teaching hospital (shiraz, iran) were examined. patients were divided into spontaneous bacterial peritonitis and sterile ascetic fluid groups according to the pmn count ≥ 250/mm3 in the ascetic fluids. routine laboratory tests were conducted and quantitative c-reactive protein (crp) levels wer...

This paper describes Livingstone, an implemented kernel for a model-based reactive self-con guring autonomous system. It presents a formal characterization of Livingstone's representation formalism, and reports on our experience with the implementation in a variety of domains. Livingstone provides a reactive system that performs signi cant deduction in the sense/response loop by drawing on our ...

This paper describes Livingstone, an implemented kernel for a model-based reactive self-configuring autonomous system. It presents a formal characterization of Livingstone’s representation formalism, and reports on our experience with the implementation in a variety of domains. Livingstone provides a reactive system that performs significant deduction in the sense/response loop by drawing on ou...