10289 search results - page 256 / 2058 » Standard bases in K |
187
click to vote
ADAEUROPE
2006
Springer
16 years 17 days ago
2006
Springer
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
175
click to vote
ASIACRYPT
2004
Springer
15 years 12 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...
149
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: In our research we explore the benefits resulting from the application of Semantic Web technologies in the recruitment domain. We use currently available standards and classifi...
155
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
174
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...