10666 search results - page 1536 / 2134 » Quantum programming languages |
168
click to vote
ECOOP
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
181
click to vote
ECOOP
2005
Springer
16 years 17 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
179
click to vote
ECOOP
2005
Springer
16 years 17 days ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
188
click to vote
ESOP
2005
Springer
16 years 17 days ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
214
Voted
ESOP
2005
Springer
16 years 17 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...