2586 search results - page 277 / 518 » Automatic Abstraction for Congruences |
176
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
157
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An architecture that provides personalised filtering and dissemination of news items is presented. It is based on user profiles and it provides mechanisms that allow the ...
174
click to vote
IDMS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
169
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
184
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...