10899 search results - page 222 / 2180 » The GP Programming System |
157
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
125
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
121
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
130
click to vote
OORASE
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
135
click to vote
EATIS
2007
ACM
15 years 9 months ago
2007
ACM
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...