1438 search results - page 213 / 288 » An Expressive Extension of TLC |
139
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
157
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...
170
click to vote
DSRT
2009
IEEE
15 years 10 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
158
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
A new computational method to study within-host viral evolution is explored to better understand the evolution and pathogenesis of viruses. Traditional phylogenetic tree methods a...
158
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an extensible architecture that can be used to support the integration of biological data sets. Biological research frequently requires this kind of synthesis....