1064 search results - page 181 / 213 » Disjoint Systems (Extended Abstract) |
151
Voted
AAECC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...
133
click to vote
AAMAS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
122
click to vote
FAC
2008
15 years 3 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
110
click to vote
ITSSA
2006
15 years 3 months ago
2006
Abstract. The practitioners of bioinformatics require increasing sophistication from their software tools to take into account the particular characteristics that make their domain...
169
click to vote
JHSN
2006
15 years 3 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...