944 search results - page 189 / 189 » Software model checking without source code |
ECOOP
2000
Springer
13 years 10 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
ESCIENCE
2007
IEEE
13 years 9 months ago
2007
IEEE
The improvements of the luminosity of the Tevatron Collider require large increases in computing requirements for the CDF experiment which has to be able to increase proportionally...
WWW
2005
ACM
13 years 11 months ago
2005
ACM
Integrating web sites to provide more efficient services is a very promising way in the Internet. For example searching house for rent based on train system or preparing a holiday...
EUROSYS
2010
ACM
13 years 12 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...