Page
%P
-
Chapter
SCXML on Resource Constrained Devices
Ever since their introduction as a visual formalism by Harel et al. in 1987, state-charts played an important role to formally specify the behavior of reactive systems. However, various shortcomings in their o...
-
Chapter and Conference Paper
Crowdsourcing Measurements of Mobile Network Performance and Mobility During a Large Scale Event
Cellular infrastructure in urban areas is provisioned to easily cope with the usual daily demands. When facing shockingly high loads, e.g., due to large scale sport or music events, users complain about perfor...