8838 search results - page 1579 / 1768 » Generalizing Domain Theory |
185
click to vote
TARK
2007
Springer
16 years 4 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
213
click to vote
CCECE
2006
IEEE
16 years 3 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
159
click to vote
CODES
2006
IEEE
16 years 3 days ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
163
Voted
FOCS
2006
IEEE
16 years 2 days ago
2006
IEEE
The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been...
136
click to vote
GLVLSI
2006
IEEE
16 years 2 days ago
2006
IEEE
This paper introduces a standard cell based design for a Serializer and Deserializer (SerDes) communication link. The proposed design is area, power and design time efficient as c...