6952 search results - page 85 / 1391 » The information integrity imperative |
145
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
162
Voted
IJWET
2008
15 years 6 months ago
2008
: Information-filtering systems constitute a critical component of modern information-seeking applications. As the number of users grows and the amount of information available bec...
144
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
165
click to vote
IJCINI
2007
15 years 6 months ago
2007
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and inference-driven mechanisms. Th...
175
Voted
IJNSEC
2007
15 years 6 months ago
2007
In this paper a secure error-signalling scheme for packetswitched network architectures is presented. Current solutions are based on the Internet Control Message Protocol to deliv...