989 search results - page 29 / 198 » Analyzing Knowledge Management Systems: A Veritistic Approac... |
SIMUTOOLS
2008
13 years 10 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
BMCBI
2007
13 years 8 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
JIISIC
2001
13 years 10 months ago
2001
We have developed a distributed DSS capable to working in a dynamic way. That is, when a domain of an organization needs a new kind of information, the system looks for this infor...
HT
2009
ACM
13 years 6 months ago
2009
ACM
In this paper we describe a model of social and collaborative search based on the use of tags. First we will introduce the issues that drove us to the definition of this model, an...
BMCBI
2010
13 years 8 months ago
2010
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...