403 search results - page 28 / 81 » Integrating Z into Large Projects Tools and Techniques |
106
click to vote
VISUALIZATION
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
146
click to vote
WOSP
1998
ACM
15 years 4 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
118
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Modern high throughput experimental techniques such as DNA microarrays often result in large lists of genes. Computational biology tools such as clustering are then us...
112
click to vote
DILS
2004
Springer
15 years 5 months ago
2004
Springer
Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have import...
100
click to vote
OTM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The ongoing trend towards open data embraced by the Semantic Web has started to produce a large number of data sources. These data sources are published using RDF vocabul...