2000 search results - page 290 / 400 » Program Transformation and Proof Transformation |
182
click to vote
NDSS
2008
IEEE
16 years 19 days ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
269
click to vote
VL
2007
IEEE
16 years 16 days ago
2007
IEEE
This articles submits the thesis that visual data modeling and programming languages are conveniently conceived as rendering, or ‘styling’, of conventional, textual languages....
159
click to vote
APLAS
2006
ACM
16 years 7 days ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
163
click to vote
ERLANG
2006
ACM
16 years 7 days ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
168
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...