2364 search results - page 208 / 473 » An Engine for Computing Well-Founded Models |
136
Voted
ICMT
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
145
click to vote
SIGGRAPH
1994
ACM
15 years 9 months ago
1994
ACM
We present a general method for automatic reconstruction of accurate, concise, piecewise smooth surface models from scattered range data. The method can be used in a variety of ap...
157
click to vote
VEE
2012
ACM
14 years 17 days ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
137
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
157
Voted
LCN
2003
IEEE
15 years 10 months ago
2003
IEEE
- With the current wide deployment of Gigabit Ethernet technology in the backbone and workgroup switches, the network performance bottleneck has shifted for the first time in nearl...