939 search results - page 125 / 188 » Semantic Abstraction and Quantum Computation |
SPIN
2005
Springer
14 years 3 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
ITRUST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
PVM
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The ability to offload functionality to a programmable network interface is appealing, both for increasing message passing performance and for reducing the overhead on t...
RTA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...