3706 search results - page 427 / 742 » The Transformational Approach to Program Development |
157
click to vote
TON
2008
15 years 4 months ago
2008
This paper proposes a traffic anomaly detector, operated in postmortem and in real-time, by passively monitoring packet headers of traffic. The frequent attacks on network infrastr...
129
Voted
JCC
2002
15 years 4 months ago
2002
: A fast and general analytical approach was developed for the calculation of the approximate van der Waals and solvent-accessible surface areas. The method is based on three basic...
139
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
162
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
249
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...