2152 search results - page 130 / 431 » A Framework for Modeling DNA Based Molecular Systems |
162
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
152
click to vote
FDL
2005
IEEE
16 years 5 hour ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
175
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
192
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
158
click to vote
QEST
2005
IEEE
15 years 12 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...