632 search results - page 86 / 127 » Rapid Prototyping of Robotic Systems |
WCRE
1997
IEEE
15 years 2 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...
106
click to vote
TABLEAUX
1995
Springer
15 years 1 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
VL
1995
IEEE
15 years 1 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
WSC
2007
15 years 7 days ago
2007
Most classical stochastic inventory models assume that replenishment lead times are independent of the amount of orders placed. This assumption is clearly problematic in capacitat...
101
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
14 years 9 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...