890 search results - page 51 / 178 » software 1998 |
JOC
1998
13 years 8 months ago
1998
We describe a software-e cient encryption algorithm named SEAL 3.0. Computational cost on a modern 32-bit processor is about 4 clock cycles per byte of text. The cipher is a pseudo...
HASE
1998
IEEE
14 years 29 days ago
1998
IEEE
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate ...
FM
1998
Springer
14 years 28 days ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
SBIA
1998
Springer
14 years 27 days ago
1998
Springer
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
FORTE
1998
13 years 10 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...