6800 search results - page 795 / 1360 » Testing with Functions as Specifications |
157
click to vote
CGO
2005
IEEE
16 years 20 days ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...
212
click to vote
ICMCS
2005
IEEE
16 years 19 days ago
2005
IEEE
The new video coding standard, H.264 allows motion estimation performing on tree-structured block partitioning and multiple reference frames. This feature improves the prediction ...
175
click to vote
ICPADS
2005
IEEE
16 years 19 days ago
2005
IEEE
In order to support real-time video, audio and data communication among heterogeneous third generation (3G) handsets, 3G phones/terminals are required to support 3G-324M, the mult...
194
click to vote
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
179
click to vote
METRICS
2005
IEEE
16 years 19 days ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...