295 search results - page 14 / 59 » Severity Levels of Inconsistent Code |
AOSD
2010
ACM
14 years 4 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper studies the feasibility and investigates various choices in the application of compressive sensing (CS) to object-based surveillance video coding. The residual object e...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— The performance of MC-CDMA in the presence of carrier frequency offsets (CFO) can be severely degraded due to multiaccess interference (MAI). It is shown in this work that a pr...
ISSE
2010
13 years 8 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
Digital video is becoming increasingly ubiquitous. However, editing video remains difficult for several reasons: it is a time-based medium, it has dual tracks of audio and video, ...