706 search results - page 85 / 142 » Design Recovery of a Two Level System |
140
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Service-oriented systems are becoming more and more nodes in a digital, dynamic ecosystem requiring the identification and establishment of flexible, spontaneous collaboration act...
115
click to vote
ICCD
2006
IEEE
16 years 10 days ago
2006
IEEE
— As the geometries of the transistors reach the physical limits of operation, one of the main design challenges of Systems-on-Chips (SoCs) will be to provide dynamic (run-time) ...
146
Voted
DAWAK
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
162
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...
104
click to vote
SEW
2006
IEEE
15 years 9 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...