- 1. A model-Based evaluation methodology for smart energy systems
- (Publication)
- Created on 28 June 2021
- 2. An architecture for using commodity devices and smart phones in health systems
- (Publication)
- Created on 19 December 2018
- 3. Emergent behavior in multi-agent systems for collaborating smart micro-grids
- (Publication)
- Created on 19 December 2018
- 4. Big data management systems for the exploitation of pervasive environments
- (Publication)
- Created on 19 December 2018
- 5. 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
- 6. 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
- 7. A Semantic Support for Testing Activities of Safety-Critical Embedded Systems
- (Publication)
- Created on 19 December 2018
- 8. 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
- 9. 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
- 10. A simulation model for localization of pervasive objects using heterogeneous wireless networks
- (Publication)
- Position represents a relevant attribute needed by many applications, whose contexts are characterized by pervasiveness of the objects/things in the considered scenarios. In order to infer positions of ...
- Created on 19 December 2018
- 11. Mobile Agent-Based Provision of Context-Awareness for Positioning
- (Publication)
- The convergence of wireless networking, mobile computing, pervasive devices, and location-sensing technologies has created a new class of computing, namely location-aware computing, that is based on the ...
- Created on 19 December 2018
- 12. 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
- 13. A Positioning Service for Pervasive Objects in Dynamic Environments
- (Publication)
- Pervasiveness of electronic devices and networks allows to design ubiquitous services, which use distributed sensors as their extensions. Localization of mobile objects using standard protocols and infrastructures ...
- 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. 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
- 18. 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
- 19. 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
- 20. Formal Modeling and Verification of Real-Time Multi-Agent Systems: the REMM Framework
- (Publication)
- Created on 19 December 2018