16725 search results - page 2997 / 3345 » Engineering Software Correctness |
163
click to vote
FSTTCS
2008
Springer
15 years 6 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
174
click to vote
AC
2008
Springer
15 years 5 months ago
2008
Springer
Radio Frequency Identification or simply rfid has come to be an integral part of modern computing. Rfid is notable in that it is the first practical technology to tightly couple p...
149
click to vote
ENGL
2008
15 years 5 months ago
2008
High performance computing is becoming increasingly important in the field of financial computing, as the complexity of financial models continues to increase. Many of these financ...
169
click to vote
IJWIS
2006
15 years 4 months ago
2006
: Using Internet-enabled mobile handheld devices to access the World Wide Web is a promising addition to the Web and traditional e-commerce. Mobile handheld devices provide conveni...
239
click to vote
AC
2005
Springer
15 years 4 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...