878 search results - page 55 / 176 » Choice and development |
121
click to vote
METRICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
164
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
133
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
161
click to vote
UM
2010
Springer
15 years 9 months ago
2010
Springer
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
122
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Digital signature schemes are based on the assumption that the signing key is kept in secret. Ensuring that this assumption holds is one of the most crucial problems for all curre...