392 search results - page 7 / 79 » APROL: a Hybrid Language |
80
Voted
HYBRID
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
93
Voted
CIBSE
2009
ACM
15 years 6 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
122
click to vote
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
105
click to vote
AAAI
2011
13 years 11 months ago
2011
Latent relational search (LRS) is a novel approach for mapping knowledge across two domains. Given a source domain knowledge concerning the Moon, “The Moon is a satellite of the...
115
Voted
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...