478 search results - page 59 / 96 » Behavioral Specification of Real-Time Requirements |
BMCBI
2008
14 years 12 months ago
2008
Background: In addition to their use in detecting undesired real-time PCR products, melting temperatures are useful for detecting variations in the desired target sequences. Metho...
125
click to vote
NETWORK
2006
14 years 11 months ago
2006
With the advancement of video-compression technology and the wide deployment of wireless networks, there is an increasing demand for wireless video communication services, and man...
107
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
128
click to vote
FIW
1998
15 years 1 months ago
1998
In this paper we describe an ongoing project aimed at investigating the impact of feature interaction problems on computer telephony integration (CTI). As a representative and soph...
ENTCS
2008
14 years 12 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...