5184 search results - page 402 / 1037 » The digital divide of computing |
172
click to vote
JGTOOLS
2006
15 years 6 months ago
2006
We propose a new hardware ray casting algorithm for unstructured meshes composed of tetrahedral cells. Our work builds on the technique published at IEEE Visualization 2003 by Wei...
164
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
173
click to vote
NETWORK
2008
15 years 6 months ago
2008
The Internet would be more efficient and robust if routers could flexibly divide traffic over multiple paths. Often, having one or two extra paths is sufficient for customizing pa...
206
click to vote
IANDC
2007
15 years 6 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
164
click to vote
IDT
2007
15 years 6 months ago
2007
This paper presents an approach to automated negotiation between agents which attempts to combine the advantages of a co-operative value adding approach, with the reality that neg...