3104 search results - page 66 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
122
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
159
click to vote
IACR
2011
14 years 4 months ago
2011
At PKC 2010 Smart and Vercauteren presented a variant of Gentry’s fully homomorphic public key encryption scheme and mentioned that the scheme could support SIMD style operations...
155
Voted
TASLP
2011
14 years 11 months ago
2011
—With the increase in cheap commercially available sensors, recording meetings is becoming an increasingly practical option. With this trend comes the need to summarize the recor...
122
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
135
click to vote
SCP
2008
15 years 4 months ago
2008
We proposed a method to quantify the yield of an IT-investment portfolio in an environment of uncertainty and risk. For various common implementation scenarios such as growing dem...