Search results for "software engineering"
showing 10 items of 1151 documents
Tool Support for Model Driven Development of Pervasive Systems
2007
This work presents the PervML Generative Tool (PervGT) that supports a model driven method for the development of pervasive services in ubiquitous environments. The tool, which is based on the Eclipse platform, provides facilities for the graphical description of pervasive systems using PervML, a UML-like modeling language. Once the pervasive system is specified, the PervML model is used as input to a transformation engine that generates source code and other implementation assets. This generated code extends an OSGi-based framework in order to build the final pervasive applications
A dynamic life-cycle model for the provisioning of software testing services
2014
Information and communications technology (ICT)-enabled international sourcing of software-intensive systems and services (eSourcing) is a powerful strategy for managing businesses more effectively. China is becoming a superpower for eSourcing service provisioning, but most Chinese providers are small- or medium-sized and leverage the mediated eSourcing model, delivering services to foreign ICT clients who interface with end-clients onshore. This model restricts the providers to low-value projects. This paper probes eSourcing of software testing services within the Chinese market because testing is one of the best ICT services small- and medium-sized providers can provide to develop domain …
Controllability-type properties for elliptic systems and applications
1991
We consider approximate and exact controllability results for elliptic problems. These results enable one to formulate optimal shape design problems in a fixed domain with certain boundary conditions.
Cell-List based Molecular Dynamics on Many-Core Processors: A Case Study on Sunway TaihuLight Supercomputer
2020
Molecular dynamics (MD) simulations are playing an increasingly important role in several research areas. The most frequently used potentials in MD simulations are pair-wise potentials. Due to the memory wall, computing pair-wise potentials on many-core processors are usually memory bounded. In this paper, we take the SW26010 processor as an exemplary platform to explore the possibility to break the memory bottleneck by improving data reusage via cell-list-based methods. We use cell-lists instead of neighbor-lists in the potential computation, and apply a number of novel optimization methods. Theses methods include: an adaptive replica arrangement strategy, a parameter profile data structur…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Lambda+, the renewal of the Lambda Architecture: Category Theory to the rescue
2021
Designing software architectures for Big Data is a complex task that has to take into consideration multiple parameters, such as the expected functionalities, the properties that are untradeable, or the suitable technologies. Patterns are abstractions that guide the design of architectures to reach the requirements. One of the famous patterns is the Lambda Architecture, which proposes real-time computations with correctness and fault-tolerance guarantees. But the Lambda has also been highly criticized, mostly because of its complexity and because the real-time and correctness properties are each effective in a different layer but not in the overall architecture. Furthermore, its use cases a…
Letter to the Editor: Backbone1H,13C and15N Resonance Assignments for the 18.7 kDa GTPase Domain of Escherichia Coli MnmE Protein
2004
A New Possibility for Powder Diffraction: The Characterization of the Domain Microstructure in a Ferroelectric Material
1996
Multimodal and Agent-Based Human–Computer Interaction in Cultural Heritage Applications: an Overview
2010
One of the most recent and interesting applications of human–computer interaction technologies is the provision of advanced information services within public places, such as cultural heritage sites or schools and university campuses. In such contexts, concurrent technologies used in smart mobile devices can be used to satisfy the mobility need of users allowing them to access relevant resources in a context-dependent manner. Of course, most of the constraints to be taken into account when designing a pervasive information providing system are given by the actual domain where they are deployed.
A Robotic Humanoid for Information Exploration on Cultural Heritage Domain
2020
The work presented here illustrates an humanoid robot capable of interacting with an human user within the Cultural Heritage domain. Two different and complementary AI approaches, namely sub-symbolic and symbolic, have been implemented and combined together to design the framework of a robot having both rational and intuitive capabilities. Furthermore, the robot is capable of providing information expressively and of adapting its behavior according to the emotional content of the artworks descriptions. This could make the robot more effective in providing information and entertaining the users.