We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
— An error resilient architecture for video transmission over mobile wireless networks is presented. Radio link layer, transport layer, and application layer are combined to deal...
The Collaborative Process-Centered Environment project (CPCE) aims at applying process modeling approach and technology to a given class of collaborative applications. The challeng...
Biological development is a complex process that mediates between genotypes, to which mutations occur, and phenotypes, on which selection acts. Properties of development can theref...