10239 search results - page 1801 / 2048 » Postmodern Software Development |
117
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
142
click to vote
ISCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
115
click to vote
COLLABORATION
1999
Springer
15 years 6 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
187
click to vote
CRYPTO
1999
Springer
15 years 6 months ago
1999
Springer
We describe a message authentication algorithm, UMAC, which can authenticate messages (in software, on contemporary machines) roughly an order of magnitude faster than current prac...
121
click to vote
DSOM
1999
Springer
15 years 6 months ago
1999
Springer
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...