3527 search results - page 66 / 706 » Test Automation in Practice |
TIME
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
ICCAD
2001
IEEE
15 years 6 months ago
2001
IEEE
: This paper describes ASF, a novel cell-level analog synthesis framework that can size and bias a given circuit topology subject to a set of performance objectives and a manufactu...
ICLP
1997
Springer
15 years 1 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
HCI
2007
14 years 11 months ago
2007
The cultural diversity of users of technology challenges our methods for usability evaluation. In this paper we report on a multi-site, cross-cultural grounded theory field study o...
IS
2007
14 years 9 months ago
2007
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...