12742 search results - page 2287 / 2549 » On canonical number systems |
207
click to vote
EUROCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
181
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
165
click to vote
LCTRTS
2004
Springer
16 years 2 days ago
2004
Springer
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...
159
Voted
MIDDLEWARE
2004
Springer
16 years 2 days ago
2004
Springer
The need for sharing is well known in a large number of distributed applications. These applications are difficult to develop either for fully wired or mobile wireless networks. ...
203
click to vote
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...