700 search results - page 79 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
82
Voted
LPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
119
click to vote
ISESE
2005
IEEE
15 years 7 months ago
2005
IEEE
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intende...
192
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
113
click to vote
VISUALIZATION
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes tools and techniques for the exploration of geo-scientific data from the oil and gas domain in stereoscopic virtual environments. The two main sources of data...
146
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: The Stanford Tissue Microarray Database (TMAD) is a repository of data serving a consortium of pathologists and biomedical researchers. The tissue samples in TMAD are ...