3388 search results - page 427 / 678 » Type-theoretic design patterns |
169
click to vote
SPIRE
1999
Springer
15 years 11 months ago
1999
Springer
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
189
click to vote
RSP
1998
IEEE
15 years 11 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
187
click to vote
TOOLS
1998
IEEE
15 years 11 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
178
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
193
click to vote
PKC
1998
Springer
15 years 10 months ago
1998
Springer
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...