This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
: This paper presents a novel Real-Time Localisation System (RTLS) based upon 2.45 GHz Surface Acoustic Wave (SAW) Radio Frequency Identification (RFID) systems. The system utilise...
Darmindra D. Arumugam, Vijayakrishnan Ambravaneswa...
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
Effective use of communication networks is critical to the performance and scalability of parallel applications. Partitioned Global Address Space languages like UPC bring the pro...