2132 search results - page 384 / 427 » Automated software winnowing |
126
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
145
click to vote
ENTCS
2008
15 years 3 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
130
click to vote
ENTCS
2006
15 years 3 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
141
click to vote
CGA
2007
15 years 3 months ago
2007
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...
123
click to vote
CN
2007
15 years 3 months ago
2007
Worms are self-replicating malicious programs that represent a major security threat for the Internet, as they can infect and damage a large number of vulnerable hosts at timescal...