2621 search results - page 362 / 525 » Near orders and codes |
197
click to vote
LPAR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
154
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
189
click to vote
ACSC
2006
IEEE
16 years 19 days ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
172
click to vote
CCECE
2006
IEEE
16 years 18 days ago
2006
IEEE
Single-sensor imaging pipelines comprised of various image compression and demosaicking solutions are presented. Since the end-user usually inspects captured images available in t...
201
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a peer-to-peer (P2P) service for the transmission of real-time video content, exploiting the contemporary usage of multiple network paths over the current Inte...