7758 search results - page 333 / 1552 » On the Number of Distributive Lattices |
168
click to vote
WORM
2004
15 years 8 months ago
2004
The monitoring of unused Internet address space has been shown to be an effective method for characterizing Internet threats including Internet worms and DDOS attacks. Because the...
300
click to vote
PROLAMAT
1998
15 years 8 months ago
1998
Advanced manufacturing environments nowadays involve a number of cooperating heterogeneous nodes, where each node supports a distinct activity, and their joint efforts and informa...
174
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents an important outcome of a research programme which focuses on the development of a method for synthesizing, under controlled conditions in the laboratory, t...
195
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Motif finding algorithms have developed in their ability to use computationally efficient methods to detect patterns in biological sequences. However the posterior cla...
204
click to vote
ENTCS
2008
15 years 6 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...