544 search results - page 54 / 109 » Overview of QAST 2007 |
JCO
2007
14 years 11 months ago
2007
The problem of radio channel assignments with multiple levels of interference can be modelled using graph theory. The theory of integer vertex-labellings of graphs with distance c...
JNSM
2007
14 years 11 months ago
2007
Abstract. Two highly visible public communication networks are the publicswitched telephone network (PSTN) and the Internet. While they typically provide different services and the...
108
click to vote
JSW
2007
14 years 11 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
JSW
2007
14 years 11 months ago
2007
—Voice over IP (VoIP) has had a strong effect on global communications by allowing human voice and fax information to travel over existing packet data networks along with traditi...
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...