2364 search results - page 255 / 473 » An Engine for Computing Well-Founded Models |
178
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
188
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
217
click to vote
AVI
2004
15 years 7 months ago
2004
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
180
click to vote
ISORC
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
164
click to vote
AINA
2007
IEEE
16 years 15 days ago
2007
IEEE
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...