13101 search results - page 137 / 2621 » Design and Implementation of |
148
Voted
LICS
2006
IEEE
16 years 5 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
167
click to vote
CANS
2009
Springer
16 years 22 days ago
2009
Springer
This paper describes the design of a fast multi-core library for the cryptographic Tate pairing over supersingular elliptic curves. For the computation of the reduced modified Tat...
151
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...
141
click to vote
JBCS
2002
15 years 5 months ago
2002
Ontologies are becoming an important mechanism to build information systems. Nevertheless, there is still no systematic approach to support the design of such systems using tools ...
164
click to vote
RECONFIG
2008
IEEE
16 years 16 days ago
2008
IEEE
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...