814 search results - page 117 / 163 » Generic Model Abstraction from Examples |
133
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
96
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
112
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
127
click to vote
NCA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— This paper describes an original approach to writing reactive algorithms on highly dynamic networks. We propose to use randomly mobile agents to gather global informati...
110
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...