26354 search results - page 148 / 5271 » How we refactor, and how we know it |
HOTOS
2003
IEEE
14 years 3 months ago
2003
IEEE
Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting t...
EUROCRYPT
2010
Springer
14 years 3 months ago
2010
Springer
We introduce a new lattice-based cryptographic structure called a bonsai tree, and use it to resolve some important open problems in the area. Applications of bonsai trees include...
AI
2001
Springer
14 years 2 months ago
2001
Springer
In fast-paced software projects, engineers don’t have the time or the resources to build heavyweight complete descriptions of their software. The best they can do is lightweight ...
CSFW
2000
IEEE
14 years 2 months ago
2000
IEEE
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number o...
ADL
2000
Springer
14 years 2 months ago
2000
Springer
Information retrieval (IR) research has been very active over the last decades to develop approaches that allow machine indexing to significantly improve indexing practice in lib...