4201 search results - page 562 / 841 » Our Users have Root! |
165
click to vote
TLT
2010
15 years 5 months ago
2010
—This paper presents the open learning object repository and collaborative authoring platform LeMill (http://lemill.net), which has over 7,500 members and over 8,500 reusable lea...
175
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
201
click to vote
DAS
2010
Springer
15 years 4 months ago
2010
Springer
Scanning two book pages at the same time helps to accelerate the scanning process but on the other hand introduces several difficulties if the user needs to have one page per imag...
204
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Twitter enjoys enormous popularity as a micro-blogging service largely due to its simplicity. On the downside, there is little organization to the Twitterverse and making...
203
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...