3557 search results - page 184 / 712 » Reviews |
168
click to vote
ASSETS
2007
ACM
15 years 11 months ago
2007
ACM
Although they play an important role in any assessment procedure, web accessibility metrics are not yet well developed and studied. In addition, most metrics are geared towards co...
148
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
169
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Thanks to recent developments on automatic generation of metadata and interoperability between repositories, the production, management and consumption of learning object metadata ...
177
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
164
click to vote
ACMSE
2008
ACM
15 years 9 months ago
2008
ACM
Recently there has been a surge of interest in making computer science education attractive to potential students, motivating to current students, and relevant to graduating stude...