3073 search results - page 566 / 615 » Real World Verification |
206
click to vote
PKC
2004
Springer
16 years 23 days ago
2004
Springer
In a practical system, a message is often encrypted more than once by different encryptions, here called multiple encryption, to enhance its security. Additionally, new features ...
215
Voted
PRICAI
2004
Springer
16 years 23 days ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
191
click to vote
SBIA
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Most of the work in machine learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
185
click to vote
WWW
2010
ACM
16 years 21 days ago
2010
ACM
The last three years have seen a dramatic increase in both awareness and exploitation of Web Application Vulnerabilities. 2008 and 2009 saw dozens of high-profile attacks against...
203
Voted
HICSS
2003
IEEE
16 years 21 days ago
2003
IEEE
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...