1288 search results - page 195 / 258 » Integrating formal models into the programming languages cou... |
188
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
161
click to vote
ECMDAFA
2005
Springer
15 years 12 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
175
click to vote
COGSR
2010
15 years 1 months ago
2010
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback...
158
click to vote
CIKM
2007
Springer
16 years 15 days ago
2007
Springer
Spatio-temporal databases deal with geometries changing over time. In general, geometries do not only change discretely but continuously; hence we are dealing with moving objects....
196
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...