Sciweavers

2215 search results - page 74 / 443
» Context Modeling for Web Information Systems
Sort
View
TPHOL
2007
IEEE
16 years 3 days ago
Using XCAP to Certify Realistic Systems Code: Machine Context Management
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
Zhaozhong Ni, Dachuan Yu, Zhong Shao
CHI
2008
ACM
16 years 6 months ago
SearchBar: a search-centric web history for task resumption and information re-finding
Current user interfaces for Web search, including browsers and search engine sites, typically treat search as a transient activity. However, people often conduct complex, multique...
Dan Morris, Meredith Ringel Morris, Gina Venolia
GIS
2006
ACM
16 years 6 months ago
Analyzing theme, space, and time: an ontology-based approach
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
Matthew Perry, Farshad Hakimpour, Amit P. Sheth
AIM
2006
15 years 7 months ago
Quality evaluation in information systems outsourcing
: The aim of this study is to assess quality perception of information system (IS) services outsourced by a large Brazilian bank, both from a technical (results) as well as from a ...
Luis Kalb Roses, Norberto Hoppen, Bernard Ballaz, ...
ICEIS
2000
IEEE
15 years 10 months ago
A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
Isabel Milho, Ana L. N. Fred