3914 search results - page 491 / 783 » Automating SLA modeling |
199
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
182
click to vote
DEON
2008
Springer
15 years 8 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
171
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Software configurable analogue arrays offer an intriguing platform for automated design by evolutionary algorithms. Like previous evolvable hardware experiments, these pl...
192
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...
183
click to vote
SPLC
2010
15 years 8 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...