3792 search results - page 660 / 759 » Techniques for Trusted Software Engineering |
94
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
123
click to vote
SAC
2008
ACM
15 years 3 days ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
SAC
2008
ACM
15 years 2 days ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
137
Voted
TASLP
2010
14 years 7 months ago
2010
We present a scalable medium bit-rate wide-band audio coding technique based on frequency domain linear prediction (FDLP). FDLP is an efficient method for representing the long-ter...
128
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...