User’s privacy concerns represent one of the most serious obstacles to the wide adoption of mobile social software applications. In this paper, we introduce a conceptual model wh...
This paper introduces a new mediation mechanism into agent negotiations. The negotiation mechanism takes a supply-chain perspective to the construction of software services, attem...
Jung-Ching Chen, Nicolas E. Gold, Nikolay Mehandji...
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
Simon Dobson, Kieran Delaney, Kafil Mahmood Razeeb...
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
Under a simple power leakage model based on Hamming weight, a software implementation of a data-whitening routine is shown to be vulnerable to a first-order Differential Power Anal...