2162 search results - page 419 / 433 » Automated Reasoning on Feature Models |
156
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
115
Voted
SIGCOMM
2003
ACM
15 years 9 months ago
2003
ACM
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- o...
119
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
186
Voted
MKWI
2008
15 years 5 months ago
2008
Abstract: The economic relevance of IT risk is increasing due to various operational, technical as well as regulatory reasons. Increasing flexibility of business processes and risi...
146
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Gene expression measurements during the development of the fly Drosophila melanogaster are routinely used to find functional modules of temporally co-expressed genes. ...