7918 search results - page 402 / 1584 » Model Composition Directives |
181
click to vote
APSEC
2008
IEEE
16 years 23 days 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...
180
click to vote
CCS
2007
ACM
16 years 14 days 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...
135
click to vote
FSTTCS
2007
Springer
16 years 13 days 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...
168
click to vote
MM
2006
ACM
16 years 7 days 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...
161
click to vote
SEFM
2005
IEEE
15 years 12 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...