3571 search results - page 580 / 715 » Cohen and Set Theory |
147
click to vote
FFA
2006
15 years 6 months ago
2006
We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between the deal...
164
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
159
click to vote
CCE
2007
15 years 6 months ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
170
click to vote
COGSCI
2007
15 years 6 months ago
2007
The sounds that make up spoken words are heard in a series and must be mapped rapidly onto words in memory because their elements, unlike those of visual words, cannot simultaneou...
170
click to vote
IS
2008
15 years 6 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...