1837 search results - page 179 / 368 » Abstraction and the C Machine Model |
152
click to vote
JCS
2002
15 years 6 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
192
click to vote
AE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Markov Random Fields (MRFs) 5] are a class of probabalistic models that have been applied for many years to the analysis of visual patterns or textures. In this paper, ou...
205
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
142
click to vote
BC
2002
15 years 6 months ago
2002
Different mechanisms that could form the molecular basis for bi-directional synaptic plasticity have been identified experimentally and corresponding biophysical models can be cons...
188
click to vote
MTA
2007
15 years 6 months ago
2007
Abstract This work investigates the modeling of aggregate available bandwidth in multisender network applications. Unlike the well-established client–server model, where there is...