11022 search results - page 456 / 2205 » Programming Systems for Autonomy |
176
Voted
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
205
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
155
click to vote
USENIX
2001
15 years 9 months ago
2001
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
201
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Molecular biologists need sophisticated analytical tools which often demand extensive computational resources. While finding, installing, and using these tools can be ...
342
Voted
POPL
2006
ACM
16 years 8 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...