Sciweavers

5398 search results - page 834 / 1080
» On the Effective Use of Software Standards in Systems Integr...
Sort
View
TLDI
2009
ACM
108views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Secure compilation of a multi-tier web language
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
Ioannis G. Baltopoulos, Andrew D. Gordon
AINA
2008
IEEE
16 years 1 months ago
A Scheme for Damage Information Gathering Based on Micro Perspective in Sensor Networks
Several systems for disaster damage mitigation have been studied based on various perspectives. Those previous works suggest it is not easy to get an effective method to comprehen...
Takahiro Fujiwara, Takashi Watanabe
ICALT
2006
IEEE
16 years 23 days ago
Adapting for Visual and Verbal Learning Styles in AEH
This paper describes how visual and verbal learning styles have been successfully integrated into an adaptive educational environment. User trials of this system were carried out,...
Elizabeth J. Brown, Craig D. Stewart, Tim J. Brail...
CIKM
2005
Springer
16 years 7 days ago
A robot ontology for urban search and rescue
The goal of this Robot Ontology effort is to develop and begin to populate a neutral knowledge representation (the data structures) capturing relevant information about robots and...
Craig Schlenoff, Elena Messina
AAAI
1993
15 years 8 months ago
Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...
Michel P. Féret, Janice I. Glasgow