2000 search results - page 351 / 400 » Program Transformation and Proof Transformation |
ERCIMDL
2007
Springer
15 years 4 months ago
2007
Springer
VCenter, a platform for broadcasting digital video content, was developed by the National Digital Archives Program (NDAP), Taiwan. The platform provides a number of functions, such...
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
105
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
This paper introduces a method for clustering complex and linearly non-separable datasets, without any prior knowledge of the number of naturally occurring clusters. The proposed ...
104
click to vote
WADS
2007
Springer
15 years 4 months ago
2007
Springer
An approach for reducing the navigation effort for the users of a web site is to enhance its hyperlink structure with additional hotlinks. We address the task of adding at most on...
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...