8132 search results - page 291 / 1627 » Dependability, Abstraction, and Programming |
147
Voted
EUROPAR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
156
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
157
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
147
click to vote
IIE
2006
15 years 6 months ago
2006
Abstract. For many programming tasks we would be glad to have some kind of automatic evaluation process. As an example, most of the programming contests use an automatic evaluation...
188
click to vote
JISE
2008
15 years 6 months ago
2008
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...