10790 search results - page 1806 / 2158 » Using feature models to automate model transformations |
182
click to vote
FUZZIEEE
2007
IEEE
16 years 29 days ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
170
click to vote
CIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...
143
click to vote
CSL
2007
Springer
16 years 25 days ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
167
click to vote
LPAR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
204
click to vote
LPAR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...