9006 search results - page 1502 / 1802 » Modeling Software |
130
click to vote
IEE
2008
15 years 4 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
150
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
118
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
146
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
173
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...