2025 search results - page 266 / 405 » Minimal-Cut Model Composition |
147
click to vote
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
136
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
129
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
121
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...