7167 search results - page 303 / 1434 » A Technique for Invariant Generation |
178
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Forward Error Correction (FEC) schemes are generally used in wireless communication systems to maintain an acceptable quality of service. Various models have been proposed in l...
219
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
To bridge the gap between the high resolution digital images and limited display capability of mobile devices, this paper proposes a method to automatically transform static image...
223
Voted
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
171
click to vote
ACMSE
2006
ACM
16 years 1 months ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
158
Voted
IMC
2006
ACM
16 years 1 months ago
2006
ACM
As a follow up to characterizing traffic deemed as unwanted by Web clients such as advertisements, we examine how information related to individual users is aggregated as a result...