4386 search results - page 681 / 878 » A Tamper-Resistant Programming Language System |
197
Voted
CD
2005
Springer
15 years 9 months ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
150
click to vote
ESOP
2005
Springer
15 years 9 months 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...
126
Voted
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
118
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
132
Voted
PADL
2004
Springer
15 years 8 months 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...