877 search results - page 94 / 176 » How to Cover a Grammar |
107
Voted
SEAA
2008
IEEE
15 years 7 months ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...
102
Voted
AFRICACRYPT
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper introduces “twisted Edwards curves,” a generalization of the recently introduced Edwards curves; shows that twisted Edwards curves include more curves over...
80
Voted
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
In 2006, Oxygen Media CEO Geraldine (Gerry) Laybourne, the woman largely responsible for Nickelodeon’s early success, partnered with her XP/Scrum development team to create a ne...
ISVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
97
Voted
ACSC
2006
IEEE
15 years 6 months ago
2006
IEEE
Pencil-and-paper exercises in public-key cryptography are important in learning the subject. It is desirable that a student doing such an exercise does not get the right answer by...