3038 search results - page 268 / 608 » Industrial evolutionary computing |
148
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
103
Voted
ACMACE
2008
ACM
15 years 7 months ago
2008
ACM
Loop-R is a real-time video performance tool, based in the exploration of low-tech, used technology and human engineering research. With this tool its author is giving a shout to ...
161
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
110
click to vote
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...
127
Voted
SC
1993
ACM
15 years 9 months ago
1993
ACM
Within the past few years, computer graphics has played a decisive role in transforming the field of molecular modeling into an intemaiional industry. While computer scientists ar...