1088 search results - page 27 / 218 » Tools for support of automata-based programming |
152
click to vote
JTRES
2010
ACM
14 years 10 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...
HIPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
DSN
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
ISMAR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...
84
Voted
CORR
2002
Springer
14 years 9 months ago
2002
Springer
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...