3931 search results - page 453 / 787 » Separation logic and abstraction |
193
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
ABSTRACT. Message Ferrying is a mobility assisted technique for working around the disconnectedness and sparsity of Mobile ad hoc networks. One of the important questions which ari...
213
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work, synthesis of facial animation is done by modelling the mapping between facial motion and speech using the shared Gaussian process latent variable model. Bot...
209
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
157
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
168
click to vote
VAMOS
2009
Springer
16 years 1 months ago
2009
Springer
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...