2351 search results - page 302 / 471 » A Method of Requirement Inconsistency Analysis |
162
click to vote
PKC
2004
Springer
15 years 10 months ago
2004
Springer
The isogeny for elliptic curve cryptosystems was initially used for the efficient improvement of order counting methods. Recently, Smart proposed the countermeasure using isogeny f...
146
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
144
click to vote
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
178
Voted
PODS
1991
ACM
15 years 8 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
153
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
Automatic recognition of named entities such as people, places, organizations, books, and movies across the entire web presents a number of challenges, both of scale and scope. Da...