The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper presents a complex network analysis of the Brazilian Power Test System (BPTS), which is based on the real Brazilian electric power system. The aimis tomodel the BPTS cases via graphs, characterize them according to existing complex network models, compute several invariants from graph and complex networks, and analyze them with respect to these invariants, in order to obtain useful information...
An important practice implemented since 2008 at the only teachers' college in the Kingdom of Bahrain-the Bahrain Teachers' College (BTC)- is e-portfolio assessment. Despite serious efforts to ensure effective implementation of e-portfolio assessment at BTC since its launching, there continued to be over the years several challenges and obstacles, mainly in the form of faculty and students' confusion,...
Smart mobility is a key factor in the new conceptual urban development model, the so-called "smart city". We focus on rail and metro transport, proposing a multidimensional constrained optimisation model to carry out a sensitivity analysis for evaluating the effectiveness of recovery solutions in the case of disturbed operations. Indeed, after the occurrence of a disturbance or disruption,...
To address future coalition operations in congested, cluttered, contested, connected and constrained battlespace, the US Army Research Laboratory and the UK Defence Science and Technology Laboratory are developing a new research program on Distributed Analytics and Information Science International Technology Alliance. In this paper, we present an overview the two interrelated Technical Areas which...
Systems Modeling Language (SysML) is used to capture systems design as descriptive and analytical system models, which relate text-based requirements to the system design model and provide an infrastructure to support analysis and verification. However, SysML is not a methodology, nor a method. This opens-up discussions of how to utilize SysML provided infrastructure to successfully achieve analysis...
Complex sociotechnical systems and associated “wicked problems” do not have closed loop solutions. For example redevelopment projects that are undertaken to improve sustainability and resilience of urban built infrastructure do not often take into account the livelihoods of the resident population as formal design parameters unless the “mental models” of key stakeholders can relate the physical and...
The continuous changes in electricity markets' mechanisms and operations turn this environment into a challenging domain for the participating entities. Simulation tools are increasingly being used for decision support purposes of such entities. In particular, multi-agent based simulation, which facilitates the modeling of different types of mechanisms and players, is being fruitfully applied to the...
In this paper, we propose designing a specific ontology for representing relevant aspects of affective phenomena in e-learning. The ontology is aimed to include the different types of emotions, moods and behaviors that students experience in the e-learning environments, the different types of feedback that teachers can provide to their students and the different effects in students' behavior during...
This work explores network analysis methods for the analysis of emergent themes as well as types of users in discussion forums. The paper provides both, a description of the analysis approach and its application as a case study. To that end, keywords are extracted from forum threads and then linked to the forum users resulting in a bipartite network based on their activity in discussion threads. Applying...
In behavioral modeling, operation contracts defined by pre- and postconditions describe the effects on model properties (i.e., model elements such as attributes, links, etc.) that are enforced by an operation. However, it is usually omitted which model properties should not be modified. Defining so-called frame conditions can fill this gap. But, thus far, these have to be defined manually - a time-consuming...
The correctness of model transformations is key to obtain reliable MDE solutions. However, current transformation tools provide limited support to statically detect and correct errors. This way, the identification of errors and their correction are mostly manual activities. Our aim is to improve this situation. Based on a static analyser for ATL model transformations which we have previously built,...
Graphical User Interfaces (GUI) play an essential role in operating industrial facilities and machines. Depending on the range and variability of a manufacturer's product portfolio a huge library of GUI software may exist. This poses quite a challenge when it comes to testing or re-engineering. Static analysis helps to unveil valuable, inherent knowledge and prepare it for further analysis and processing...
In this article we present an approach to couple model-based testing with static analysis based on a tool coupling between Astrée and EmbeddedTester. Astrée reports all potential run-time errors in C programs. This makes it possible to prove the absence of run-time errors, but users may have to deal with false alarms, i.e. spurious notifications about potential run-time errors. Investigating alarms...
The increasing use of renewable energy sources and distributed generation brought several changes to the power system operation, with huge implications to the competitive electricity markets. With the eminent implementation of microgrids and smart grids, new business models able to cope with the new opportunities are being developed. Virtual Power Players are a new type of player, which allows aggregating...
Model-based testing is of high practical relevance and many model-based testing approaches have been developed during the last years. But the key question under which conditions model-based testing pays off and a related decision support procedure for its application has not been sufficiently addressed. In this paper we develop a generic decision support procedure whether to apply model-based testing...
The Accessibility Stable Analysis Pattern intends to describe the core knowledge behind the concept of Accessibility. Accessibility finds an extensive range of usages in various applications. The pattern also gives an excellent start to software developers, by defining the core knowledge of any accessibility problem. Any developer can build on, extend or reuse the pattern to model any specific application...
Confirmation bias is the human tendency to search for, collect, interpret, analyse, or recall information in a way that confirms one's prior beliefs or preferences. In this paper, we review previous research and demonstrate confirmation bias and its effect in two software engineering contexts. The first study documents that managers bias their interpretation of randomly generated project data towards...
The VERCE project has pioneered an e-Infrastructure to support researchers using established simulation codes on high-performance computers in conjunction with multiple sources of observational data. This is accessed and organised via the VERCE science gateway that makes it convenient for seismologists to use these resources from any location via the Internet. Their data handling is made flexible...
The opinion conveyed by the user towards a movie can be understood by doing Sentiment Analysis on the movie review. In the current work we focus on Genre Specific Aspect Based Sentiment Analysis of Movie Reviews. Using the aforementioned dataset and considering movie genres like action, comedy, crime, drama and horror, we develop a fine grained unsupervised analysis model using lexicons that are context...
Scenario-based approaches are often used for Software Requirements Specification (SRS). Since scenarios are usually written in natural language, they may be ambiguous and, sometimes, inaccurate, which impair requirements quality. One of the major factors for this problem is because interactions among scenarios are seldom represented explicitly. As such, the importance of correctness, consistency and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.