7393 search results - page 1254 / 1479 » Synthesis-for-testability using transformations |
110
Voted
CG
2006
Springer
15 years 7 months ago
2006
Springer
While recently the strength of chess-playing programs has grown immensely, their capability of explaining in human understandable terms why some moves are good or bad has enjoyed l...
124
Voted
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
128
Voted
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
121
Voted
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
121
Voted
EH
2004
IEEE
15 years 7 months ago
2004
IEEE
Mini-mangetosphere, that is magnetic field inflated by the injection of plasma have several applications key to the exploration of space, including radiation shielding and augment...