877 search results - page 94 / 176 » How to Cover a Grammar |
165
click to vote
SEAA
2008
IEEE
16 years 11 days 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...
154
click to vote
AFRICACRYPT
2008
Springer
16 years 10 days 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...
130
click to vote
AGILEDC
2007
IEEE
16 years 10 days 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...
139
click to vote
ISVLSI
2007
IEEE
16 years 8 days 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...
160
click to vote
ACSC
2006
IEEE
16 years 2 days 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...