5962 search results - page 961 / 1193 » Working with Patterns and Code |
184
Voted
NORDICHI
2004
ACM
16 years 14 days 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...
195
Voted
SAC
2004
ACM
16 years 14 days 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 ...
164
click to vote
ASIACRYPT
2004
Springer
16 years 13 days 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...
185
Voted
CASSIS
2004
Springer
16 years 13 days 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...
225
click to vote
CSCLP
2004
Springer
16 years 13 days 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...