2482 search results - page 86 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
128
click to vote
ICRA
2009
IEEE
15 years 8 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
15 years 1 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...
101
Voted
AI
2001
Springer
15 years 5 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...
352
click to vote
JTRES
2010
ACM
15 years 2 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...
113
Voted
TACAS
2007
Springer
15 years 8 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...