3718 search results - page 436 / 744 » Programming by Integration in Robotics |
191
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
203
click to vote
JOT
2010
15 years 5 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
270
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
434
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
183
click to vote
ATAL
2005
Springer
16 years 24 days ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...