2441 search results - page 359 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
117
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
168
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
- Motion planning is one of the key capabilities for autonomous humanoid robots. Previous researches have focused on weight balancing, collision detection, and gait generation. Mos...
125
click to vote
ICECCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
117
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
147
click to vote
SLE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...