1264 search results - page 26 / 253 » Towards Theory Translation |
139
Voted
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...
193
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
153
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
125
Voted
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer