17789 search results - page 145 / 3558 » Exceptional Use Cases |
137
Voted
FOCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Identity Based Encryption (IBE) systems are often constructed using bilinear maps (a.k.a. pairings) on elliptic curves. One exception is an elegant system due to Cocks which build...
118
Voted
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
We report on the formal verification of the floating point unit used in the VAMP processor. The FPU is fully IEEE compliant, and supports denormals and exceptions in hardware. The ...
62
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: MAGE-ML has been promoted as a standard format for describing microarray experiments and the data they produce. Two characteristics of the MAGE-ML format compromise it...
147
Voted
TIME
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
89
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we study the Carnot-Caratheodory metrics on SU(2) S3 , SO(3) and SL(2) induced by their Cartan decomposition and by the Killing form. Besides computing explicitly...