2645 search results - page 359 / 529 » time 2003 |
172
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...
177
click to vote
ACSC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an innovative strategy to synchronize all virtual clocks in asynchronous Internet environments. Our model is based on the architecture of one reference clock a...
152
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
142
click to vote
AGILEDC
2003
IEEE
15 years 12 months ago
2003
IEEE
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
147
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...