3108 search results - page 327 / 622 » The Elements of Computer Credibility |
173
click to vote
ASIAN
2004
Springer
16 years 1 days ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
165
click to vote
ECUMN
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We introduce a user-empowered UDP packet reflector to create virtual multicasting environments as an overlay on top of current unicast networks. The end-users’ ability...
193
click to vote
ESA
2004
Springer
16 years 1 days ago
2004
Springer
Sample sort, a generalization of quicksort that partitions the input into many pieces, is known as the best practical comparison based sorting algorithm for distributed memory para...
159
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
163
click to vote
POLICY
2004
Springer
16 years 4 hour ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...