We analyze a competitive electricity market, where consumers exhibit optimal load shifting behavior to maximize utility and producers/suppliers maximize their profit under supply capacity constraints. The associated computationally tractable formulation can be used to inform market design or policy analysis in the context of increasing availability of the smart grid technologies that enable opt...

In this paper, approaches to assess the reliability of the COTS software for a given or specified operation profile have been analyzed using the proposed methods for White box and Black box approaches. In the black box approach the fragile point analysis is used to assess the reliability of the software, for a given operational profile, using the functional or design specification of the software.

The electrification of public transport bus networks can be carried out utilizing different technological solutions, like trolley, battery or fuel cell buses. The purpose of this paper is to analyze how and to what extent existing bus networks can be electrified with fast charging battery buses. The so called opportunity chargers use mainly the regular dwell time at the stops to charge their ba...

Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that allows profile description to be incomplete in the parts that are unavailable or are considered irrelevant by the user. We present an algorithm for matching demands and supplies of profiles, taking into account incomp...

Energy consumption by software applications is one of the critical issues that determine the future of multicore software development. Inefficient software has been often cited as a major reason for wasteful energy consumption in computing systems. Without adequate tools, programmers and compilers are often left to guess the regions of code to optimize, that results in frustrating and unfruitfu...

Software needs to be tested extensively before it is considered dependable and trustworthy. To guide testing, software developers often use an operational profile, which is a quantitative representation of how a system will be used. By documenting user inputs and their occurrence probabilities in such a profile, it can be ensured that the most used functions of a system are tested the most. Tes...

The status of our current work on an UML profile to express software engineering process models is presented. We will discuss our requirements on such a profile and introduce identified syntactical and semantical implications. Concluding a first application scenario is presented.

Software development has been acknowledged as a complicated problem-solving activity done in a complex, multi-dimensional space. People actively involved in software development need support in understanding and documenting not only the description of the software developed, but also the problem domain and the reasons behind decisions taken during evolution. Development methods do not provide s...

We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative space vehicle control system: a model of the Ariane-5 flight software obtained by manual reverse engineering. The goal of the study is to verify functional and scheduling-related requirements under different task archit...

The technology platform of FEU’s online forum is an open source software product called Discuz!NT. As of May 26, 2008, the version of Discuz!NT powering FEU’s online forum was Discuz!NT 2.1. This version provided basic online message board features including subforums, user profiles, photo uploading, and file attachments. Compared to today’s online forums, Discuz!NT 2.1 did not have a tag featu...