5962 search results - page 961 / 1193 » Working with Patterns and Code |
127
click to vote
NORDICHI
2004
ACM
15 years 10 months ago
2004
ACM
Mission Queen Maud Land (MQML) is a collaborative virtual environment that was developed to explore new ways to stimulate secondary school pupils to collaborate in grasping comple...
151
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents a novel method that allows the delegation of signature power to one or more entities that jointly play the role of a proxy signer. This work is different from ...
121
click to vote
ASIACRYPT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between...
121
click to vote
CASSIS
2004
Springer
15 years 10 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
161
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...