Sciweavers

4118 search results - page 564 / 824
» Mechanisms for usage control
Sort
View
ASPDAC
2004
ACM
129views Hardware» more  ASPDAC 2004»
16 years 2 days ago
Instruction buffering exploration for low energy VLIWs with instruction clusters
— For multimedia applications, loop buffering is an efficient mechanism to reduce the power in the instruction memory of embedded processors. In particular, software controlled ...
Tom Vander Aa, Murali Jayapala, Francisco Barat, G...
HT
2004
ACM
16 years 2 days ago
A linking and interaction evaluation test set for SMIL
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
Dick C. A. Bulterman
SAC
2004
ACM
16 years 2 days ago
A multi-criteria model for electronic auctions
In this paper we present a multi-criteria model for electronic auctions, which is based on reference points. According to the model, the buyer must specify an aspiration point tha...
Marie-Jo Bellosta, Imène Brigui, Sylvie Kor...
ACRI
2004
Springer
16 years 2 days ago
A Hybrid Discrete-Continuum Model for 3-D Skeletogenesis of the Vertebrate Limb
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
Rajiv Chaturvedi, Chengbang Huang, Jesús A....
AMAST
2004
Springer
16 years 1 days ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs