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.
In this paper, we propose a novel recognition method for fuzzy Oracle-bone inscriptions. Accurate recognition of fuzzy characters is a difficult problem due to their complex shapes. Our strategy is proposed based on statistical analysis of context and method of combining the Hopfield network. First, according to the oracle inscriptions context statistics information, a candidate font library for the...
Hybrid Diversity-aware Collective Adaptive Systems (HDA-CAS) is a new generation of socio-technical systems where both humans and machine peers complement each other and operate collectively to achieve their goals. These systems are characterized by the fundamental properties of hybridity and collectiveness, hiding from users the complexities associated with managing the collaboration and coordination...
A number of techniques have been developed that support method call completion. However, there has been little research on the problem of method parameter completion. In this paper, we first present a study that helps us to understand how developers complete method parameters. Based on our observations, we developed a recommendation technique, called Parc, that collects parameter usage context using...
Reuse is essential in modern software engineering, but limited in the context of MDE by the poor availability of reusable models. On the other hand, reusable code artifacts such as frameworks and libraries are abundant. This paper presents an approach to raise reusable code artifacts to the modelling level by modelling their API using concern-oriented techniques, thus enabling their use in the context...
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...
As scientific discovery becomes increasingly data-driven, software platforms are needed to efficiently organize and disseminate data from disparate sources. This is certainly the case in the field of materials science. For example, Materials Project has generated computational data on over 60,000 chemical compounds and has made that data available through a web portal and REST interface. However,...
Use-cases are a well-known technique for capturing functional requirements. Their advantage is the understand ability for a wide range of stakeholders. With a growing number of use-cases and their continuous refactoring, inconsistencies inevitably sneak in. This problem has been targeted in the Formal Verification of Annotated Textual Use-Cases (FOAM) tool that runs lightweight formal verification...
The Grid and Cloud User Support Environment (gUSE) enables users convenient and easy access to grid and cloud infrastructures by providing a general purpose, workflow-oriented graphical user interface to create and run workflows on various Distributed Computing Infrastructures (DCIs). Its arrangements for creating and modifying existing workflows are, however, non-intuitive and cumbersome due to the...
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...
We consider security threats in software installation processes, posed by transitively trusted dependencies between packages from distinct repositories. To analyse them, we present SecureNDC, a Coq implemented calculus using an explicit trust function to bridge repository access and software package installation rights. Thereby, we resolve a version of the minimum install problem under trust conditions...
This paper presents a distributed smart home middleware where each appliance is able to learn user behavior and customize their actions by themselves as well as cooperate with other appliances through a more light-weight smart home gateway. As the key components, we present a knowledge base which describes common- and appliance-specific concepts in a smart home domain, and design libraries for smart...
The number of networked smart devices available in everyday environments is rapidly increasing; however, many current devices adopt mutually incompatible networks, protocols, and application programming interfaces. As such, creating mobile applications that dynamically discover and integrate ambient functionality across multiple vertical markets remains challenging. In this paper, we introduce a novel...
In this paper, we show how to speed up the computation of fast Fourier transforms over complex numbers for "medium" precisions, typically in the range from 100 until 400 bits. On the one hand, such precisions are usually not supported by hardware. On the other hand, asymptotically fast algorithms for multiple precision arithmetic do not pay off yet. The main idea behind our algorithms is...
The US health care system is undergoing a substantial policy reform. One key dynamic of the health system is the rapid adoption of electronic health records (EHR). The analytic studies on the EHR will deliver insights and/or knowledge to improve the overall quality and efficiency of healthcare. On the other hand, Service-oriented thinking is one of the fastest growing paradigms in information technology...
This paper presents CAmI, an agent oriented programming language for the development of ambient intelligence applications and for the further integration of the developed applications into complex, large-scale, AmI environments. The presented language is easy to learn and understand, modular and it offers many advantages that make it suited for the field of AmI, like the agent-oriented approach used,...
The context for creating, sharing and accessing knowledge is rapidly changing at global and local levels as new technologies and approaches are introduced. These changes are driven and enabled by digital technologies, but who wins and who loses, and how do we ensure that development takes place in an equitable manner, and we move towards the kind of societies in Africa that citizens themselves would...
Exceptions are an indispensable part of the software development process. However, developers usually rely on imprecise results from a web search to resolve exceptions. More specifically, they should personally take into account the context of an exception, then, choose and adapt a relevant solution to solve the problem. In this paper, we present Exception Tracer, an Eclipse plug in that helps developers...
Code examples are small source code fragments whose purpose is to illustrate how a programming language construct, an API, or a specific function/method works. Since code examples are not always available in the software documentation, researchers have proposed techniques to automatically extract them from existing software or to mine them from developer discussions. In this paper we propose MUSE...
Software engineering tools and environments are migrating to the cloud, enabling more people to participate in programming from many more devices. To study this phenomenon in detail, we designed, implemented and deployed Touch Develop (url www.touchdevelop.com), a cloud-based integrated development environment (CIDE), which has been online for the past three years. Touch Develop combines a cross-platform...
One of the most intriguing challenges in mobile apps development is its fragmentation with respect to mobile platforms (e.g., Android, Apple iOS, Windows Phone). Large companies like IBM and Adobe and a growing community of developers advocate hybrid mobile apps development as a possible solution to mobile platforms fragmentation. Hybrid mobile apps are consistent across platforms and built on web...
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.