2661 search results - page 430 / 533 » A Semantics for Abstraction |
FC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The Chip Authentication Programme (CAP) has been introduced by banks in Europe to deal with the soaring losses due to online banking fraud. A handheld reader is used toge...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Recently, the W3C Linking Open Data effort has boosted the publication and inter-linkage of large amounts of RDF datasets on the Semantic Web. Various ontologies and know...
122
click to vote
MM
2009
ACM
15 years 4 months ago
2009
ACM
In basketball games, wild-open means that there is an offensive player not well defended by his/her opponents. The occurrence of wild-open usually implies the existence of a succe...