795 search results - page 125 / 159 » A Formal Approach to Heterogeneous Software Modeling |
81
Voted
USS
2008
15 years 2 months ago
2008
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in th...
109
Voted
AAI
2006
15 years 15 days ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
86
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
87
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
106
Voted
WSCG
2004
15 years 1 months ago
2004
In recent times, subdivision surfaces have been considered a powerful representation for shape design. They have been successfully introduced in character animation software packa...