7766 search results - page 185 / 1554 » Testing Nondeterminate Systems |
COMPSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper explores the firewall security and performance relationship for distributed systems. Experiments are conducted to set firewall security into seven different levels and ...
LREC
2008
13 years 11 months ago
2008
The Spoken Document Processing Working Group, which is part of the special interest group of spoken language processing of the Information Processing Society of Japan, is developi...
AES
2008
Springer
13 years 9 months ago
2008
Springer
The paper summarises the ambient vibration-based assessment of an historic suspension footbridge, dating back to 1928. The footbridge is characterised by the timber floor system s...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
HASE
2007
IEEE
14 years 4 months ago
2007
IEEE
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...