Sciweavers

483 search results - page 34 / 97
» A Framework for Web-based Research Support Systems
Sort
View
ICCBR
1997
Springer
14 years 25 days ago
Supporting Combined Human and Machine Planning: An Interface for Planning by Analogical Reasoning
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
Michael T. Cox, Manuela M. Veloso
JSS
2006
118views more  JSS 2006»
13 years 8 months ago
Assessment of eco-security in the Knowledge Grid e-science environment
Ecological security is an important basis of the entire human security system, the cornerstone for human survival. Knowing the status of ecological security is crucial for making ...
Xiaoqing Shi, Jingzhu Zhao, Ouyang Zhiyun
HICSS
2002
IEEE
103views Biometrics» more  HICSS 2002»
14 years 1 months ago
Understanding and Selecting Knowledge Management Systems for a Health Information Provider
In the current market there is a proliferation of knowledge management software solutions. The aim of this paper is to discuss issues concerned in selecting such a system to suppo...
Gabby Fennessy
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 2 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
ATAL
2006
Springer
13 years 10 months ago
SAgent: a security framework for JADE
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...
Vandana Gunupudi, Stephen R. Tate