1120 search results - page 50 / 224 » Making computer science minority-friendly |
101
click to vote
GG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
GG
2004
Springer
15 years 5 months ago
2004
Springer
There would seem to be a natural connection between graphs and information security. This is particularly so in the arena of access control and authorization. Research on applying ...
101
click to vote
RTA
2004
Springer
15 years 5 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
101
click to vote
ACSC
2002
IEEE
15 years 4 months ago
2002
IEEE
Suffix trees are versatile data structures that are used for solving many string-matching problems. One of the main arguments against widespread usage of the structure is its spac...
ACSC
2002
IEEE
15 years 4 months ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...