A hybrid architecture for the implementation of the Athena neural net model

The implementation of an earlier introduced neural net model for pattern classification is considered. Data flow principles are employed in the development of a machine that efficiently implements the model and can be useful for real time classification tasks. Further enhancement with optical computing structures is also considered

How to increase efficiency with the certification of process compliance

Certification as well as self-assessment of safety-critical systems is an expensive and time-consuming activity due to the necessity of providing numerous deliverables. These deliverables can be process-related or product-related. Process-related deliverables are aimed at showing compliance with normative documents (e.g., safety standards), which impose specific requirements on the development process (e.g., reference models for the safety life-cycles). In this lecture, we limit our attention to process-related deliverables and we propose a solution aimed at reducing time and cost related to their provision. Our solution consists of the combination of three approaches: the safety-oriented process line engineering approach, the process-based argumentation line approach, and the model driven certification-oriented approach. More specifically, we define how these three approaches are combined and which techniques, tools and guidelines should be used to implement the resulting approach. Then, via small-sized but realistic process-fragments, we illustrate it. Finally, we present a roadmap for future research directions.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

MEDICT: A Malay<-> English Bilingual Dictionary For Java Mobile Phones

Today, mobile phones provide number of advanced functions, among which possibility of running mobile applications seems to be the most interesting feature. It changes a standard mobile phone into a mini-size yet still powerful computer that able to run various applications, for example games, stock checkup, map guide, dictionary and so on. This paper presents a project currently in progress which aims at the construction of bi-directional Malay - English translation dictionary named MEDict. MEDict is an easy-to-use mobile dictionary that is the ideal reference tool for all those requiring quick access to word translations. MEDict will ideally suit J2ME mobile phones with GPRS connectivity. This paper delivers the initial development progress of MEDict. It covers the functional requirements and possible development approaches followed in building MEDict. The project incorporates the development of four main components: (1) a java-based mobile client that provides interface for front-end query input; (2) a back-end database for serving dictionary contents; (3) a dictionary service for handling the exchange between the mobile client's queries and the database; (4) a web system that allows the administrator to manage the dictionary contents. The key contribution of this study is the use of Java and mobile technologies to develop a translation dictionary between two languages that has not been previously supported. The developed mobile dictionary is expected to meet the needs of a wide range of users such as language learners, native speakers, travelers and business professionals in Malaysia

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions

KNOWLEDGE SHARING AND NEGOTIATION SUPPORT IN MULTIPERSON DECISION SUPPORT SYSTEMS

A number of DSS for supporting decisions by more than one person have been proposed. These can be categorized by spatial distance (local vs. remote), temporal distance (meeting vs. mailing), commonality of goals (cooperation vs. bargaining), and control (democratic vs. hierarchical). Existing frameworks for model management in single-user DSS seem insufficient for such systems. This paper views multiperson DSS as a loosely coupled system of model and data bases which may be human (the DSS builders and users) or computerized. The systems components have different knowledge bases and may have different interests. Their interaction is characterized by knowledge sharing for uncertainty reduction and cooperative problem-solving, and negotiation for view integration, consensus-seeking, and compromise. Requirements for the different types of multiperson DSS can be formalized as application-level communications protocols. Based on a literature review and recent experience with a number of multiperson DSS prototypes, artificial intelligence-based message-passing protocols are compared with database-centered approaches and model-based techniques, such as multicriteria decision making.Information Systems Working Papers Serie

A DATA-DRIVEN USER INTERFACE GENERATOR FOR A GENERALIZED MULTIPLE CRITERIA DECISION SUPPORT SYSTEM

Information Systems Working Papers Serie

Spreadsheet Accuracy Theory

Electronic spreadsheets have made a major contribution to financial analysis and problem solving processes. Decisions made using these tools often involve substantive consequences for the organizations. However, academic literature reveals that experienced professionals and students make many errors when developing spreadsheets. Practitioners recognize the importance of accuracy and have published many techniques they use for improving the accuracy of their spreadsheets. Systematic evaluation of this literature provides a basis for understanding practitioners’ perceptions of how and why errors occur in spreadsheets and is also valuable source from which to identify a theory of spreadsheet accuracy and capture the knowledge of experienced spreadsheet developers. The analysis of this literature suggests three categories of issues spreadsheet developers must address to create more accurate spreadsheets including: planning and design; formula complexity; and testing/debugging. Spreadsheet accuracy theory explains and predicts how changes in development processes can be expected to impact spreadsheet accuracy