2700 search results - page 455 / 540 » The role of abstraction in software engineering |
168
click to vote
ENTCS
2010
15 years 3 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
221
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. Software tools for working with argument generally exist as large systems that wrap their entire feature set in the application as a whole. This approach, while perfectly...
136
click to vote
TCAD
2010
15 years 1 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
162
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--Variable length codes (VLCs), used in data compression, are very sensitive to error propagation in the presence of noisy channels. Addressing this problem with joint sour...
194
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--This paper surveys and unifies a number of recent contributions that have collectively developed a metric for decentralized wireless network analysis known as transmissio...