1879 search results - page 124 / 376 » Extending Reflective Architectures |
129
click to vote
PLSA
1994
15 years 8 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
166
click to vote
ERSA
2003
15 years 5 months ago
2003
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...
139
click to vote
JSS
2007
15 years 4 months ago
2007
Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
128
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
Abstract— With the increasing cost of global communication onchip, high-performance designs for data-intensive applications require architectures that distribute hardware resourc...
144
click to vote
FAC
2007
15 years 4 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...