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.
Reproducibility of research is an area of growing concern in computer vision. Scientific workflows provide a structured methodology for standardized replication and testing of state-of-the-art models, open publication of datasets and software together, and ease of analysis by re-using pre-existing components. In this paper, we present initial work in developing a framework that will allow reuse and...
OntoSoft is a distributed semantic registry for scientific software. This paper describes three major novel contributions of OntoSoft: 1) a software metadata registry designed for scientists, 2) a distributed approach to software registries that targets communities of interest, and 3) metadata crowdsourcing through access control. Software metadata is organized using the OntoSoft ontology along six...
Precise reasoning for floating-point arithmetic (FPA) is as critical for accurate software analysis as it is hard to achieve. Several recent approaches reduce solving an FPA formula f to reasoning over a related but easier-to-solve proxy theory. The rationale is that a satisfying proxy assignment may directly correspond to a model for f. But what if it doesn't? Prior work deals with this case somewhat...
Many software applications in e-Government have been developed. To build an application, a good requirements specifications is needed to have a good quality software at the end. Poor quality requirements may cause failures in many software development projects. Typical software developments may not be written by an expert in requirements specification. Therefore they were often ambiguous or may exhibit...
In the development of a new software solution, users and developers spend the majority of their effort on modeling the functional requirements. The Non-Functional Requirements (NFR) are treated as a second class requirement, ignored until the end of the development cycle. They are often hidden, overshadowed and therefore, frequently neglected or forgotten. They are neglected because NFRs are often...
Predictive models for software projects' characteristics have been traditionally based on project-level metrics, employing only little developer-level information, or none at all. In this work we suggest novel metrics that capture temporal and semantic developer-level information collected on a per developer basis. To address the scalability challenges involved in computing these metrics for each...
Dynamic software fingerprinting has been an important tool in fighting against software theft and pirating by embedding unique fingerprints into software copies. However, the existing work uses the methods from dynamic software watermarking as direct solutions, in which the secret marks are inside rather independent code modules attached to the software. This results in an intrinsic weakness against...
There are many illegal value use defects in C programs, for example, illegal computing, use of uninitialized variables and array out of bounds. When C programs are running, these defects may cause software failure, and may lead to serious consequences. For fully detecting these illegal value use defects, we apply abstract regions simulate memory blocks that allocated to memory objects at the runtime,...
The utilization of modular and reusable resources would reduce complexity and lead-time for the design of cyber-physical systems. Even if different theories have been proposed, there is not a general definition and metamodel applicable for reusable resources. Energetic approaches constitute the state of the art for modeling the dynamics of physical systems. Within this work, Power-Oriented Graphs...
In this work we present an abstract interpretation based static value set analysis method tailored for Sequential Function Charts (SFCs). Translation based approaches that transform SFCs into different presentations - and thus loosing the structure - have shown to be imprecise for this language. Our approach thus keeps the SFC structure and additionally provides value sets as entry-and exit information...
Engineering and computer science have come up with a variety of techniques to increase the confidence in systems, increase reliability, facilitate certification, improve reuse and maintainability, improve interoperability and portability. Among them are various techniques based on formal models to enhance testing, validation and verification. In this paper, we are concentrating on formal verification...
One of the major investment for applying industrial robots in production resides in the software development, which is an interdisciplinary and heterogeneous engineering process. This paper presents a novel model-driven approach that uses AutomationML as modeling framework and ontological reasoning as inference framework for constructing robotic application using Robot Operating System (ROS). We show...
From the beginning, the online education became evident the need for new ways of performing the process of teaching and learning, as in the special case of its evaluation, according to Rocha [1] “suffer interference from their singularities”. [2], [3], [4] and [5] also express concern with this peculiarity of online assessment. [6] motivated the creation of tools able to meet increasingly, this demand...
This paper presents the main results achieved in the program eMadrid Program in Open Educational Resources, Free Software, Open Data, and about formats and standardization of content and services.
Pen-based computing allows users to seamlessly add freeform ink annotations to dynamic digital documents. When these documents change, the annotations should adapt, or “refit”, in response to these changes. While previous studies have demonstrated ways of refitting, there have been few investigations in what the users expect to happen. In this paper, we report on an investigation into user expectations...
Due to the possibility of extensive and pervasive deployment of many tiny sensor devices in the area of interest, Wireless Sensor Networks (WSNs) result particularly suitable to detect significant events and to react accordingly in industrial and home scenarios. In this context, fuzzy inference systems for event detection in WSNs have proved to be accurate enough in treating imprecise sensory readings...
The increasing complexity of software in production systems leads to a growing relevance of testing. This trend will continue due to the flexibilization, and IT networking of production systems. This paper proposes a discussion about the requirements of future production systems which will be reconfigurable, decentralized controlled and will consist of autonomous components. From these predicted requirements,...
The Aspect-oriented Software Development (AOSD) is an emerging paradigm that allowed the separation of crosscutting concerns throughout the software life cycle in order to improve the modularity of software system artifacts. However, the complexity and diversity of interactions between aspects can reduce the value of this approach. As it is essential to detect interactions and potential conflicts...
Due to the positive effects concerning comfort, economic and ecologic reasons, building automation systems are increasingly integrated into nowadays buildings. Furthermore the investigations in cyber physical systems and the internet of things blur the line between the originally separate systems and lead to smart buildings cooperatively operated together with non-building automation systems. The...
This paper presents the design, development, and implementation of multi-Layer modular dynamic data analytics software platform using intelligent components. The reference software architecture proposed in this paper has been used to build the software robot called YaMasuta. YaMasuta is a software application that continuously analyzes massive financial data to produce investment decisions to aid...
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.