Autonomous Vehicles and Embedded Artificial Intelligence: The Challenges of Framing Machine Driving Decisions

Assessing the security implication of Bitcoin exchange rates

The ASSL Approach to Formal Specification of Self-managing Systems

Association of time and intensity of behavioral alerts with milk yield

At the Edge of Industry 4.0

Auction-based serious game for bug tracking

On the Automated Management of Security Incidents in Smart Spaces

Automated Model-Based Attack Tree Analysis Using HiP-HOPS

Automated Self-Optimization in Heterogeneous Wireless Communications Networks

Automatic Cattle Monitoring Systems for Precision Livestock Farming