2120 search results - page 182 / 424 » Management and Sharing of Bibliographies |
159
click to vote
GCC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, the resource availability issue has been addressed with respect to the intermittent connectivity and dynamic presence of peers in a P2P system. We aim to m...
178
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
176
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
185
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Group signature schemes are fundamental cryptographic tools that enable unlinkably anonymous authentication, in the same fashion that digital signatures provide the basis...
175
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...