Sciweavers

4207 search results - page 603 / 842
» Adaptive control allocation
Sort
View
148
Voted
SIGOPSE
2004
ACM
15 years 10 months ago
Secure bootstrap is not enough: shoring up the trusted computing base
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...
James Hendricks, Leendert van Doorn
LICS
2003
IEEE
15 years 10 months ago
About Translations of Classical Logic into Polarized Linear Logic
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...
Olivier Laurent, Laurent Regnier
WSTFEUS
2003
IEEE
15 years 10 months ago
Error Resilient Video Transmission over Wireless Networks
— 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...
Gang Ding, Halima Ghafoor, Bharat K. Bhargava
CAISE
1994
Springer
15 years 9 months ago
A Collaborative Process-Centered Environment Kernel
The Collaborative Process-Centered Environment project (CPCE) aims at applying process modeling approach and technology to a given class of collaborative applications. The challeng...
Jacques Lonchamp
ACAL
2007
Springer
15 years 9 months ago
Directed Evolution of an Artificial Cell Lineage
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...
Nicholas Geard, Janet Wiles