1458 search results - page 113 / 292 » The sequentially realizable functionals |
106
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
131
click to vote
ASIACRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present new results in the framework of secure multiparty computation based on homomorphic threshold cryptosystems. We introduce the conditional gate as a special type...
111
click to vote
IWSAS
2001
Springer
15 years 8 months ago
2001
Springer
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...
125
click to vote
RSP
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper discusses the initial results of research into the development of a hardware/software co-design of the Java virtual machine. The design considers a complete Java virtua...
112
click to vote
INFOVIS
1998
IEEE
15 years 8 months ago
1998
IEEE
We propose a methodology for automatically realizing communicative goals in graphics. It features a task model that mediates the communicative intent and the selection of graphica...