420 search results - page 40 / 84 » Towards Design Tools for Protocol Development |
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
105
click to vote
IKE
2010
14 years 9 months ago
2010
Real-time information dissemination is essential for the success of key applications such as transportation management and battlefield monitoring. In these applications, relevant ...
BMCBI
2008
14 years 12 months ago
2008
Background: Polymerase chain reaction (PCR) is used in directed sequencing for the discovery of novel polymorphisms. As the first step in PCR directed sequencing, effective PCR pr...
MSE
2005
IEEE
15 years 5 months ago
2005
IEEE
The fast growing complexity and short time-tomarket of embedded systems designs, besides the great increase in capacity of today’s chips, are mobilizing the industry towards to ...
CAD
2005
Springer
14 years 11 months ago
2005
Springer
Virtual garment design and simulation involves a combination of a large range of techniques, involving mechanical simulation, collision detection, and user interface techniques fo...