3914 search results - page 115 / 783 » Automating SLA modeling |
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents a semi-automated segmentation method for short-axis cardiac CT and MR images. The main contributions of this work are: 1) using two different energy functional...
FSEN
2009
Springer
14 years 2 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 ...
SEAA
2008
IEEE
14 years 2 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...
ATAL
2007
Springer
14 years 2 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 ...
GI
2007
Springer
14 years 2 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...