We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
This paper examines the communication needs of busy parents that can be served by awareness systems: systems supporting a continuous and semi-automated flow of information about th...
Vassilis-Javed Khan, Panos Markopoulos, Boris E. R...
The purpose of this study is to demonstrate the benefit of using common data mining techniques on survey data where statistical analysis is routinely applied. The statistical surv...
Hongxing He, Huidong Jin, Jie Chen, Damien McAulla...
Network Forensics is an important extension to the model of network security where emphasis is traditionally put on prevention and to a lesser extent on detection. It focuses on th...
Experimental methodology for evaluating classification algorithms in relational (i.e., networked) data is complicated by dependencies between related data instances. We survey the...