543 search results - page 54 / 109 » Overview of WebCLEF 2007 |
JNSM
2007
13 years 7 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...
JSW
2007
13 years 7 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
13 years 7 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
14 years 2 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 ...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We are developing a set of handheld input devices for mutual assessment in the course of a learning activity and a system to give on-the-spot feedback concerning the summary of th...