7430 search results - page 806 / 1486 » Programming Applications in CIFF |
204
click to vote
CG
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. By developing an intelligent computer system that will provide commentary of chess moves in a comprehensible, user-friendly and instructive way, we are trying to use the ...
225
click to vote
CIS
2008
Springer
15 years 9 months ago
2008
Springer
Delivering continuous services in information infrastructures is a major challenge. For system or network administrators, redundancy allocation is one of the best strategies to en...
208
click to vote
FLOPS
2008
Springer
15 years 9 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
241
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
205
click to vote
PDPTA
2008
15 years 9 months ago
2008
Load balancing is the process of distributing client requests over a set of servers, and is a key element of obtaining good performance in a distributed application. Java RMI exte...