1496 search results - page 184 / 300 » Improving the Modeling of Use Case Relationship |
169
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastru...
193
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A major characteristic of text document categorization problems is the extremely high dimensionality of text data. In this paper we explore the usability of the Oscillati...
161
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
160
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Conserved gene clusters are groups of genes that are located close to one another in the genomes of several species. They tend to code for proteins that have a functio...
199
click to vote
MSWIM
2006
ACM
16 years 7 days ago
2006
ACM
In recent years different authors have proposed the used of random-walk-based algorithms for varying tasks in the networking community. These proposals include searching, routing...