320 search results - page 38 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
95
Voted
ECSA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
100
Voted
SIGSOFT
2004
ACM
15 years 6 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
185
Voted
GIS
2004
ACM
16 years 1 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deļ¬cient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
167
click to vote
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...