6740 search results - page 951 / 1348 » Using Classification as a Programming Language |
177
click to vote
ESOP
2005
Springer
16 years 11 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 ...
207
click to vote
ESOP
2005
Springer
16 years 11 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...
198
click to vote
PPSWR
2005
Springer
16 years 9 days ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
204
click to vote
PADL
2004
Springer
16 years 5 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
181
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We consider the quantum complexities of the following three problems: searching an ordered list, sorting an un-ordered list, and deciding whether the numbers in a list are all dis...