24368 search results - page 4390 / 4874 » Distributed Computing Economics |
206
click to vote
SIGCSE
2000
ACM
15 years 12 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
191
click to vote
CAV
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
224
click to vote
ACSAC
1999
IEEE
15 years 12 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
187
click to vote
HICSS
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper describes an agent-based architecture designed to support the interoperation of distributed and disparate information processing tools and resources. This work is based...
186
click to vote
ADBIS
1999
Springer
15 years 12 months ago
1999
Springer
In data mining, the selection of an appropriate classifier to estimate the value of an unknown attribute for a new instance has an essential impact to the quality of the classifica...