2748 search results - page 105 / 550 » Generating Object-Z Specifications from Use Cases |
111
click to vote
COLING
1996
15 years 1 months ago
1996
The Decision Tree Learning Algorithms (DTLAs) are getting keen attention from the natural language processing research comlnunity, and there have been a series of attempts to appl...
123
click to vote
BMCBI
2005
15 years 11 days ago
2005
Background: Systematic evaluation and study of single nucleotide polymorphisms (SNPs) made possible by high throughput genotyping technologies and bioinformatics promises to provi...
CAISE
1997
Springer
15 years 4 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
92
Voted
SIGOPS
2008
15 years 12 days ago
2008
Self-managing storage systems have recently received attention from the research community due to their promised ability of continuously adapting to best reflect high-level system...
136
click to vote
SCP
2000
15 years 7 days ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...