2613 search results - page 396 / 523 » Active Software Artifacts |
141
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
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 c...
169
Voted
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...
154
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
137
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Sensemaking tasks require users to perform complex research behaviors to gather and comprehend information from many sources. Such tasks are common and include, for example, resea...
177
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Mobile phones are becoming increasingly popular as a means of information access while on-the-go. Mobile users are likely to be interested in locating different types of content. ...