12118 search results - page 2296 / 2424 » User interface tools |
127
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
146
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
135
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
This paper describes an application framework for providing and managing personalized, interactive video on the web. The application framework enables content providers and aggreg...
226
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
177
Voted
HPCA
2002
IEEE
16 years 3 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...