Sciweavers

226 search results - page 7 / 46
» An Evolvable Hardware System Under Uneven Environment
Sort
View
ESORICS
2003
Springer
14 years 25 days ago
Hardware Encapsulation of Security Services
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
Adrian Baldwin, Simon Shiu
ECBS
1999
IEEE
171views Hardware» more  ECBS 1999»
13 years 12 months ago
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, ...
RAID
2010
Springer
13 years 6 months ago
HyperCheck: A Hardware-Assisted Integrity Monitor
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
Jiang Wang, Angelos Stavrou, Anup K. Ghosh
DATE
2009
IEEE
115views Hardware» more  DATE 2009»
14 years 2 months ago
Toward a runtime system for reconfigurable computers: A virtualization approach
—In this paper we propose a virtualization layer to handle the program execution on reconfigurable computers in order to address one of their biggest problems which is the manage...
Mojtaba Sabeghi, Koen Bertels
CAV
2010
Springer
190views Hardware» more  CAV 2010»
13 years 11 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...