313 search results - page 30 / 63 » Error Correction Based on Verification Techniques |
90
Voted
WWW
2002
ACM
15 years 10 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
JSS
2010
14 years 4 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
ICASSP
2009
IEEE
14 years 7 months ago
2009
IEEE
A variety of techniques have been proposed to enhance the error robustness of the video streaming system. However, most of them improves the error resilience during compression ra...
ACG
2009
Springer
15 years 4 months ago
2009
Springer
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
TSE
2008
14 years 9 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...