- 1. Improving self-consumption of green energy using linear programming for reactive control of smart devices
- (Publication)
- Created on 28 June 2021
- 2. A model-Based evaluation methodology for smart energy systems
- (Publication)
- Created on 28 June 2021
- 3. A Simulation Approach for the Optimization of Solar Powered Smart Migro-Grids
- (Publication)
- A smart micro-grid requires information technology to fast detect and control grid instabilities and to validate that processes will work as designed. But real power grid can not be used for testing and ...
- Created on 28 June 2021
- 4. An architecture for using commodity devices and smart phones in health systems
- (Publication)
- Created on 19 December 2018
- 5. Emergent behavior in multi-agent systems for collaborating smart micro-grids
- (Publication)
- Created on 19 December 2018
- 6. Big data management systems for the exploitation of pervasive environments
- (Publication)
- Created on 19 December 2018
- 7. Semantic Support for Log Analysis of Safety-Critical Embedded Systems
- (Publication)
- Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs from SCADA subsystems, ...
- Created on 19 December 2018
- 8. An Automated Tool for Smart Water Network Partitioning
- (Publication)
- Water Network Partitioning (WNP) represents the application of the "divide and conquer" paradigm to a Smart WAter Network (SWAN) that allows the improved application of techniques for water balance and ...
- Created on 19 December 2018
- 9. A Semantic Support for Testing Activities of Safety-Critical Embedded Systems
- (Publication)
- Created on 19 December 2018
- 10. An Advanced Intrusion Detection Framework for Cloud Computing
- (Publication)
- Cloud Computing paradigm represents an opportunity for users to reduce costs and increase the eciency, providing an alternative way of using services and computational resources. It represents both a technology ...
- Created on 19 December 2018
- 11. Simulation and Support of Critical Activities by Mobile Agents in Pervasive and Ubiquitos Scenarios
- (Publication)
- Many contexts of every-day life are characterized by pervasiveness and ubiquity of embedded systems. These features can be exploited to support people in different scenarios, such as emergency situations ...
- Created on 19 December 2018
- 12. Management of High Performance Scientific Applications using Mobile Agents based Services
- (Publication)
- High performance scientific applications are currently implemented using native languages for optimizing performance and utilization of resources. It often deals with thousands of code lines in FORTRAN ...
- Created on 19 December 2018
- 13. Cloud Agency: A Mobile Agent Based Cloud System
- (Publication)
- The cloud paradigm appeared on the computing scene in 2005 with the Amazon Elastic Compute Cloud (EC2) [1]. After this date, a large set of related technologies has been developed. In the academic world, ...
- Created on 19 December 2018
- 14. A Grid Service for Resource–to–Agent Allocation
- (Publication)
- The Resource Allocation Problem is a classical problem in the scientific literature. Here, authors present an Architectural Model to allow Optimum Resource Allocation in a Grid Environment. They are investigating ...
- Created on 19 December 2018
- 15. Distributed Agents network for ubiquitous Monitoring and Services Exploitation
- (Publication)
- Many application contexts noways are characterized by pervasiveness of embedded systems in crowded environments of everyday life. To accomplish common requirements ubiquitous computing must address many ...
- Created on 19 December 2018
- 16. Modeling and verification of real-time multi-agent systems: The REMM framework | [Modellazione e verifica di sistemi multi-agente real-time: Il framework REMM]
- (Publication)
- Created on 19 December 2018
- 17. Testing complex safety-critical systems in SOA context
- (Publication)
- Due to its simplicity and ease of application, testing is the main technique by which complex safety-critical systems can be verified in order to find both omission and commission bugs.Strict requirements ...
- Created on 19 December 2018
- 18. An Agent-Based Approach for Distributed Execution of Composite Web Services
- (Publication)
- Over the last years, Service Composition has been considered as the main way to enable business-to-business collaborations. Orchestration and choreography are the two main approaches to address service ...
- Created on 19 December 2018
- 19. Load balancing of Mobile Agents based applications in Grid Systems
- (Publication)
- Advanced Grid functionalities and applications can be developed exploiting Mobile Agents technology. State-full migration can help to distribute computation where data reside and among new available and ...
- Created on 19 December 2018
- 20. Formal Modeling and Verification of Real-Time Multi-Agent Systems: the REMM Framework
- (Publication)
- Created on 19 December 2018