7213 search results - page 210 / 1443 » Automated model grouping |
152
click to vote
FSEN
2009
Springer
15 years 10 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 ...
118
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
126
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...
149
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
155
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper presents a memory-conscious mapping methodology of computational intensive applications on coarse-grain reconfigurable arrays. By exploiting the inherent abundant amo...