1880 search results - page 196 / 376 » A Fact-Oriented Approach to Activity Modeling |
CSFW
2004
IEEE
14 years 1 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
TMI
2008
13 years 9 months ago
2008
We propose a new method for detecting activation in functional magnetic resonance imaging (fMRI) data. We project the fMRI time series on a low-dimensional subspace spanned by wave...
JSW
2007
13 years 9 months ago
2007
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...
TWEB
2008
13 years 9 months ago
2008
tions at runtime. We introduce the abstract service and adapter components which allow us to separate the compensation logic from the coordination logic. In this way, we can easily...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...