1662 search results - page 84 / 333 » Privately Finding Specifications |
123
click to vote
RULEML
2007
Springer
15 years 9 months ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
97
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— We propose a methodology for Boolean matching under permutations of inputs and outputs (PP-equivalence checking problem) — a key step in incremental logic design that identif...
166
Voted
FSE
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we present an improvement of the differential attack on hash functions based on block ciphers. By using the specific properties of the collision attack on hash functi...
101
Voted
ACL
2008
15 years 5 months ago
2008
We outline the problem of ad hoc rules in treebanks, rules used for specific constructions in one data set and unlikely to be used again. These include ungeneralizable rules, erro...
95
Voted
BCSHCI
2007
15 years 5 months ago
2007
HCI continues to grow in popularity amongst commercial practitioners, many of whom have no formal training or education in HCI. Conferences, such as HCI 2007, offer an attractive ...