-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen J.F. Maintaining knowledge about temporal intervals. Communications of the ACM 26 11 (1983) 832-843
-
(1983)
Communications of the ACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.F.1
-
2
-
-
33646017597
-
-
Belief Network (BN) PowerPredictor, 2001. Available from: .
-
-
-
-
4
-
-
0029755346
-
A media synchronization survey: reference model, specification, and case studies
-
Blakowski G., and Steinmetz R. A media synchronization survey: reference model, specification, and case studies. IEEE Journal on Selected Areas in Communications 14 1 (1996) 5-35
-
(1996)
IEEE Journal on Selected Areas in Communications
, vol.14
, Issue.1
, pp. 5-35
-
-
Blakowski, G.1
Steinmetz, R.2
-
5
-
-
0029214558
-
Designing programs that check their work
-
Blum M., and Kannan S. Designing programs that check their work. Journal of the ACM 42 1 (1995) 269-291
-
(1995)
Journal of the ACM
, vol.42
, Issue.1
, pp. 269-291
-
-
Blum, M.1
Kannan, S.2
-
8
-
-
0033279730
-
Formal verification and analysis of multimedia systems
-
ACM Press, New York
-
Campos S., Ribeiro-Neto B., Macedo A., and Bertini L. Formal verification and analysis of multimedia systems. Proceedings of the 7th ACM International Conference on Multimedia (Part 1) (1999), ACM Press, New York 419-430
-
(1999)
Proceedings of the 7th ACM International Conference on Multimedia (Part 1)
, pp. 419-430
-
-
Campos, S.1
Ribeiro-Neto, B.2
Macedo, A.3
Bertini, L.4
-
9
-
-
0034245675
-
A neural-network approach to recognize defect spatial pattern in semiconductor fabrication
-
Chen F.L., and Liu S.F. A neural-network approach to recognize defect spatial pattern in semiconductor fabrication. IEEE Transactions on Semiconductor Manufacturing 13 3 (2000) 366-373
-
(2000)
IEEE Transactions on Semiconductor Manufacturing
, vol.13
, Issue.3
, pp. 366-373
-
-
Chen, F.L.1
Liu, S.F.2
-
11
-
-
14044258687
-
Towards the application of classification techniques to test and identify faults in multimedia systems
-
IEEE Computer Society Press, Los Alamitos, CA
-
Cheng M.Y., Cheung S.C., and Tse T.H. Towards the application of classification techniques to test and identify faults in multimedia systems. Proceedings of the 4th International Conference on Quality Software (QSIC 2004) (2004), IEEE Computer Society Press, Los Alamitos, CA 32-40
-
(2004)
Proceedings of the 4th International Conference on Quality Software (QSIC 2004)
, pp. 32-40
-
-
Cheng, M.Y.1
Cheung, S.C.2
Tse, T.H.3
-
12
-
-
4544365639
-
Applying generic timing tests for distributed multimedia software systems
-
Cheung S.C., Chanson S.T., and Xu Z. Applying generic timing tests for distributed multimedia software systems. IEEE Transactions on Reliability 53 3 (2004) 329-341
-
(2004)
IEEE Transactions on Reliability
, vol.53
, Issue.3
, pp. 329-341
-
-
Cheung, S.C.1
Chanson, S.T.2
Xu, Z.3
-
15
-
-
7244256226
-
Integrated system interoperability testing with applications to VoIP
-
Hao R., Lee D., Sinha R.K., and Griffeth N. Integrated system interoperability testing with applications to VoIP. IEEE/ACM Transactions on Networking 12 5 (2004) 823-836
-
(2004)
IEEE/ACM Transactions on Networking
, vol.12
, Issue.5
, pp. 823-836
-
-
Hao, R.1
Lee, D.2
Sinha, R.K.3
Griffeth, N.4
-
19
-
-
33646069208
-
-
Meyer, B., 1997. Object-Oriented Software Construction. Prentice Hall International Series in Computer Science, Prentice Hall, Hemel Hempstead, Hertfordshire, UK.
-
-
-
-
21
-
-
33646065208
-
-
NeuroSolutions. 2004. Available from: .
-
-
-
-
22
-
-
0037587321
-
Automated support for classifying software failure reports
-
IEEE Computer Society Press, Los Alamitos, CA
-
Podgurski A., Leon D., Francis P., Masri W., Minch M., Sun J., and Wang B. Automated support for classifying software failure reports. Proceedings of the 25th International Conference on Software Engineering (ICSE 2003) (2003), IEEE Computer Society Press, Los Alamitos, CA 465-475
-
(2003)
Proceedings of the 25th International Conference on Software Engineering (ICSE 2003)
, pp. 465-475
-
-
Podgurski, A.1
Leon, D.2
Francis, P.3
Masri, W.4
Minch, M.5
Sun, J.6
Wang, B.7
-
24
-
-
33646069529
-
-
Synchronized Multimedia Integration Language (SMIL) 1.0 Specification, 1998. Available from: .
-
-
-
-
25
-
-
33646071418
-
-
Synchronized Multimedia Integration Language (SMIL) 2.0 Specification, 2005. Available from: .
-
-
-
-
26
-
-
33646026884
-
-
X-Smiles, 2002. Available from: .
-
-
-
-
27
-
-
0036907695
-
Automated test case generation for the stress testing of multimedia systems
-
Zhang J., and Cheung S.C. Automated test case generation for the stress testing of multimedia systems. Software: Practice and Experience 32 15 (2002) 1411-1435
-
(2002)
Software: Practice and Experience
, vol.32
, Issue.15
, pp. 1411-1435
-
-
Zhang, J.1
Cheung, S.C.2
|