1275 search results - page 62 / 255 » Are you having difficulty |
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
AAAI
1997
13 years 9 months ago
1997
The thinking process for playing chess by computer is significantly different from that used by humans. Although computer hardware and software have evolved considerably, computer...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
CIDR
2007
13 years 9 months ago
2007
Many decades of work have been invested in the area of distributed transactions including protocols such as 2PC, Paxos, and various approaches to quorum. These protocols provide t...
EXPERT
2006
13 years 7 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...