Designing community care systems with AUML

This paper describes an approach to developing an appropriate agent environment appropriate for use in community care applications. Key to its success is that software designers collaborate with environment builders to provide the levels of cooperation and support required within an integrated agent–oriented community system. Agent-oriented Unified Modeling Language (AUML) is a practical approach to the analysis, design, implementation and management of such an agent-based system, whilst providing the power and expressiveness necessary to support the specification, design and organization of a health care service. The background of an agent-based community care application to support the elderly is described. Our approach to building agent–oriented software development solutions emphasizes the importance of AUML as a fundamental initial step in producing more general agent–based architectures. This approach aims to present an effective methodology for an agent software development process using a service oriented approach, by addressing the agent decomposition, abstraction, and organization characteristics, whilst reducing its complexity by exploiting AUML’s productivity potential. </p

ooRexx 5 Yielding Swiss Army Knife Usability

The new version 5.0 of the message based object-oriented programming language ooRexx ("open object-oriented REXX") is easy to learn, yet powerful. This article introduces some of the new language features with nutshell examples that at the same time demonstrate its power when deployed in different operating system environments. The modern native API of ooRexx makes it in addition very easy to extend the language with new functionality and deploy it as a macro language for any C++-based application

SAT Solving for Argument Filterings

This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for termination analysis of term rewrite systems based on the dependency pair method. We address two main inter-related issues and encode them as satisfiability problems of propositional formulas that can be efficiently handled by SAT solving: (1) the combined search for a lexicographic path order together with an \emph{argument filtering} to orient a set of inequalities; and (2) how the choice of the argument filtering influences the set of inequalities that have to be oriented. We have implemented our contributions in the termination prover AProVE. Extensive experiments show that by our encoding and the application of SAT solvers one obtains speedups in orders of magnitude as well as increased termination proving power

Use of motion sensors for autonomous monitoring of hydraulic environments

Low cost, miniaturized, commercial-off-the-shelf (COTS) motion sensors, collectively with processors, an energy source and other electronic circuitry can be packaged into very small volumes for autonomous operation. If such a system operates over short periods of time, or data acquisitions occur at a very low frequency, processor resources should be sufficient to manage offsets and errors. The paper analyzes a typical set of COTS accelerometers and gyroscopes, to indicate how best these can be used in hydraulic environments. Application examples such as river bed sediment monitoring, milk vat monitoring etc. are briefly discussed, with application oriented design approaches. Minimizing the power consumption to introduce a novel, rechargeable power supply design is briefly outlined

An Object-Oriented Software Model for Students’ Registration and Examination Result Processing in Nigerian Tertiary Institutions

The principles of Object-Oriented Software Engineering are employed to model a software application known as Undergraduate Registration and Examination Processing System (SPERU) for Nigerian Tertiary institutions. Rapid Application Development (RAD) tools are utilized in its implementation to achieve an excellent software system. SPERU is herein presented , as a typical instance of a well modelled software system, that testifies to the beauty, power and supremacy of the Object-Oriented paradigm The result of applying software predictor metrics indicates that SPERU is reliable and elegant

Analogue to Digital and Digital to Analogue Converters (ADCs and DACs): A Review Update

This is a review paper updated from that presented for CAS 2004. Essentially, since then, commercial components have continued to extend their performance boundaries but the basic building blocks and the techniques for choosing the best device and implementing it in a design have not changed. Analogue to digital and digital to analogue converters are crucial components in the continued drive to replace analogue circuitry with more controllable and less costly digital processing. This paper discusses the technologies available to perform in the likely measurement and control applications that arise within accelerators. It covers much of the terminology and 'specmanship' together with an application-oriented analysis of the realisable performance of the various types. Finally, some hints and warnings on system integration problems are given.Comment: 15 pages, contribution to the 2014 CAS - CERN Accelerator School: Power Converters, Baden, Switzerland, 7-14 May 201

Do rules control power? GATT articles and arrangements in the Uruguay Round

Many complain and offer evidence that in recent years the GATT system has become more power-oriented, less stable, and less equitable. A concern to reverse this drift was one of the motives that brought the international community to agree to undertake the Uruguay Round. Rules control power, assumed the signers of the Punte del Este declaration, therefore elaborating and extending GATT rules would move the international community toward a fairer, more stable international trading system. Finger and Dhar contend that the opposite is true. Particularly in the 1980s, the elaboration and application of GATT rules has been an exercise in the application of economic and political power, not in its control. GATT rules, in theory, are there to limit national trade restrictions. Finger and Dhar contend that in fact things work the other way around: national practice comes first, and determines what the GATT rules mean. GATT's rules do not put limits on national practices, but provide international santion for these practices. Such rules are not part of the thereforelution but are part of the problem. Theirs is a situation-specific argument, say Finger and Dhar, not a generic one. Their target is not"rules", nor is it"GATT". Rather, it is the GATT rules.Rules of Origin,TF054105-DONOR FUNDED OPERATION ADMINISTRATION FEE INCOME AND EXPENSE ACCOUNT,Common Carriers Industry,Transport and Trade Logistics,Trade Policy