6960 search results - page 517 / 1392 » Continuity Analysis of Programs |
211
click to vote
ESOP
2005
Springer
16 years 14 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...
206
click to vote
WCRE
2002
IEEE
15 years 12 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
191
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
165
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
184
click to vote
PC
2007
15 years 6 months ago
2007
The MPI-2 Standard has carefully specified the interaction between MPI and usercreated threads. The goal of this specification is to allow users to write multithreaded MPI progr...