2127 search results - page 116 / 426 » Software Automation |
189
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
185
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
195
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
166
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
179
click to vote
FAST
2010
15 years 8 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...