2482 search results - page 86 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
SPE
2002
13 years 7 months ago
2002
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...
AI
2001
Springer
13 years 11 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
JTRES
2010
ACM
13 years 8 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...