4719 search results - page 777 / 944 » Spreadsheet functional programming |
119
click to vote
COCO
2007
Springer
15 years 9 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
102
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
105
click to vote
ECOWS
2007
Springer
15 years 9 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
118
click to vote
ERCIMDL
2007
Springer
15 years 9 months ago
2007
Springer
VCenter, a platform for broadcasting digital video content, was developed by the National Digital Archives Program (NDAP), Taiwan. The platform provides a number of functions, such...
159
click to vote
EUSAI
2007
Springer
15 years 9 months ago
2007
Springer
Context-aware systems allow users to access services and multimedia data according to their current context (location, identity, preferences). Web 2.0 fosters user contribution and...