11022 search results - page 305 / 2205 » Programming Systems for Autonomy |
163
click to vote
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
167
click to vote
LPAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
203
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
The Advanced Teaching and Learning Academic Server (Atlas) is a software system that supports web-based learning. Students can register for courses, and can navigate through perso...
179
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...
170
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...