Sciweavers

1599 search results - page 248 / 320
» A Reference Model for Knowledge Management in Software Engin...
Sort
View
80
Voted
DEXAW
2009
IEEE
113views Database» more  DEXAW 2009»
15 years 5 months ago
Identification of Surgery Indicators by Mining Hospital Data: A Preliminary Study
—The management of patient referrals is an interesting issue when it comes to predicting future patient demand to increase hospital productivity. In general, a patient is referre...
Marie Persson, Niklas Lavesson
114
Voted
USS
2008
15 years 18 days ago
CloudAV: N-Version Antivirus in the Network Cloud
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
Jon Oberheide, Evan Cooke, Farnam Jahanian
107
Voted
CATA
2003
14 years 11 months ago
A Restaurant Finder using Belief-Desire-Intention Agent Model and Java Technology
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
Dongqing Lin, Thomas P. Wiggen, Chang-Hyun Jo
128
Voted
DOLAP
2005
ACM
15 years 7 days ago
Applying MDA to the development of data warehouses
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
Jose-Norberto Mazón, Juan Trujillo, Manuel ...
PPDP
2009
Springer
15 years 4 months ago
Model-checking higher-order functions
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
Naoki Kobayashi