2474 search results - page 132 / 495 » Using Knowledge Management Systems to Structure Knowledgeabl... |
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
In recent years, practical applications of legal knowledge-based systems have become increasingly common. This raises the issue of their functioning in practice and their actual in...
ICSE
1999
IEEE-ACM
14 years 14 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
LSO
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...
BMCBI
2008
13 years 8 months ago
2008
Background: While text-mining and distributed annotation systems both aim at capturing knowledge and presenting it in a standardized form, there have been few attempts to investig...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Distributed and peer-to-peer storage systems are foreseen as an alternative to the traditional data centers and in-house backup solutions. In the past few years many peerto-peer st...