15644 search results - page 2479 / 3129 » Brittle System Analysis |
219
Voted
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an event-driven video adaptation system in this paper. Events are detected by audio/video analysis and annotated by the description schemes (DSs) provided by MPEG-7 Mul...
187
Voted
HPDC
2005
IEEE
16 years 27 days ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
184
click to vote
ICSM
2005
IEEE
16 years 27 days ago
2005
IEEE
To aid software analysis and maintenance tasks, a number of software clustering algorithms have been proposed to automatically partition a software system into meaningful subsyste...
214
Voted
TPHOL
2005
IEEE
16 years 26 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
194
click to vote
PLDI
2005
ACM
16 years 26 days ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...