3921 search results - page 538 / 785 » Transforming Models with ATL |
199
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
168
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
181
click to vote
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
Over the past decades, considerable progress had been made in developing automatic image interpretation tools for remote sensing. There is, however, still a gap between the require...
168
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
202
click to vote
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...