1054 search results - page 65 / 211 » Translation Validation of System Abstractions |
159
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...
140
click to vote
TCOM
2008
15 years 6 months ago
2008
Abstract--Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as an attractive mutiplexing technique for the uplink segment of wireless syste...
178
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
143
click to vote
WIA
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We describe an algorithm to deal with automatic error repair over unrestricted context-free languages. The method relies on a regional least-cost repair strategy with val...
176
click to vote
TPDS
2008
15 years 6 months ago
2008
Modern network processor systems require the ability to adapt their processing capabilities at runtime to changes in network traffic. Traditionally, network processor applications ...