7580 search results - page 1481 / 1516 » Prometheus design tool |
148
click to vote
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
163
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
136
click to vote
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
151
click to vote
BIOCOMP
2007
15 years 5 months ago
2007
Background: The ability to rapidly map millions of oligonucleotide fragments to a reference genome is crucial to many high throughput genomic technologies. Results: We propose an ...
138
click to vote
BIS
2007
15 years 5 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...