1593 search results - page 38 / 319 » A visual programming system for automated problem solving |
123
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
131
Voted
IFIP12
2004
15 years 4 months ago
2004
The recent deregulation occurred in the public railway sector in many parts of the world has increased the awareness of this sector of the need for quality service that must be oer...
98
Voted
TVCG
2010
15 years 1 months ago
2010
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...
120
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Although a remarkably high degree of automation has been reached in production and intra-logistics nowadays, human labor is still used for transportation using handcarts and forkl...
128
Voted
VL
2007
IEEE
15 years 9 months ago
2007
IEEE
While using how-to documents for guidance in performing computer-based tasks, users often run into problems due to inaccurate, out-of-date and incomplete documentation. These prob...