2493 search results - page 180 / 499 » Tool Support for Design by Contract |
174
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
A group signature scheme allows a group member to sign messages anonymously on behalf of the group, while in case of a dispute, a designated entity can reveal the identity of a si...
168
click to vote
USENIX
1990
15 years 7 months ago
1990
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
191
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
We present the -Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its Integrated Development Environment (IDE) eases the task of pr...
164
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a new design assistant for analog integrated circuits. The interactive tool is implemented in the Design Framework II of Cadence and supports the designer d...
170
click to vote
OTM
2005
Springer
16 years 6 hour ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...