Program verification is a tool for the development of software that is free from defects and
satisfies its functional specification. It suffers from two issues that have already been …

Java Card is a version of Java developed to run on devices with severe storage and
processing restrictions. The applets that run on these devices are frequently intended for use …

Abstract Over-the-air (OTA) application installation and updates have become a common
experience for many end-users of mobile phones. In contrast, OTA updates for applications …

This thesis presents piSOD-M (Policy-based Service Oriented Development Methodology), a
methodology for modeling reliable service-based applications using policies. It proposes a …

With funding provided by Microsoft Research, the Inter-American Development Bank and
selected universities from the region, the LACCIR Federation promotes collaborative …