9507 search results - page 701 / 1902 » Time-based language models |
159
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
180
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
192
click to vote
ETFA
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
200
click to vote
ICECCS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
256
click to vote
GECCO
2005
Springer
16 years 29 days ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...