5832 search results - page 675 / 1167 » Software complexity and maintainability |
176
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...
232
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
172
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
201
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
The implementation of embedded networked appliances requires a mix of processor cores and HW accelerators on a single chip. When designing such complex and heterogeneous SoCs, the...
206
click to vote
FOSSACS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...