5232 search results - page 268 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
164
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
177
click to vote
SPIN
2007
Springer
16 years 22 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
154
click to vote
OOPSLA
1998
Springer
15 years 10 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
160
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
212
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...