1728 search results - page 167 / 346 » Advanced empirical testing |
129
Voted
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...
129
click to vote
ACMICEC
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we describe a business-to-business (B2B) testbed co-sponsored by the Open Applications Group, Inc. (OAGI) and the National Institute of Standard and Technology (NIS...
129
Voted
ADAEUROPE
2010
Springer
15 years 9 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
127
click to vote
MSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The demand for increases in the capacity and speed of data storage tests the limits of conventional technologies and drives the search for new approaches. Optical holography has l...
111
Voted
HICSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...