5525 search results - page 795 / 1105 » Verification of Model Transformations |
160
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents animated sweepers, a method for animating the space deformations called sweepers. This technique allows a user to animate the modeling of a shape, and to edit ...
168
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
162
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
199
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a conceptual framework and a process model for feature extraction and iconic visualization. Fearaction is viewed as a process of data abstraction, which can pr...
196
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...