2374 search results - page 195 / 475 » Automatic Generation of Model Translations |
193
click to vote
IEAAIE
2007
Springer
16 years 21 days ago
2007
Springer
Mobile devices are treasure boxes of personal information containing user’s context, personal schedule, diary, short messages, photos, and videos. Also, user’s usage informatio...
165
click to vote
WSC
1997
15 years 8 months ago
1997
The Enterprise Modeling Framework (EMF) consists of a methodology for modeling the three major facets of an enterprise, viz., function, information and dynamics. Its main goal is ...
223
click to vote
SIGMETRICS
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
176
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
An algorithm has been developed to automatically construct individual models of normal activity within a home using motion sensor data. Alerts can be generated when a period of in...
170
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...