466 search results - page 61 / 94 » Markovian Models for Performance and Dependability Evaluatio... |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
HPCA
2003
IEEE
14 years 8 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
BMCBI
2007
13 years 8 months ago
2007
Background: The regulation of gene expression is achieved through gene regulatory networks (GRNs) in which collections of genes interact with one another and other substances in a...
MEMOCODE
2006
IEEE
14 years 2 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
IV
2005
IEEE
14 years 2 months ago
2005
IEEE
Polygonal meshes are used in many areas to model different objects and structures. Depending on their applications, they sometimes have to be processed to, for instance, reduce th...