Sciweavers

1284 search results - page 131 / 257
» On Helping and Interactive Proof Systems
Sort
View
ACMDIS
2004
ACM
14 years 3 months ago
Privacy risk models for designing privacy-sensitive ubiquitous computing systems
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
Jason I. Hong, Jennifer D. Ng, Scott Lederer, Jame...
SOFSEM
2009
Springer
14 years 2 months ago
Can Component/Service-Based Systems Be Proved Correct?
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
Christian Attiogbé
KDD
1997
ACM
221views Data Mining» more  KDD 1997»
14 years 2 months ago
MineSet: An Integrated System for Data Mining
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
Clifford Brunk, James Kelly, Ron Kohavi
MKWI
2008
153views Business» more  MKWI 2008»
13 years 11 months ago
A Reference Architecture for Semantic Business Process Management Systems
: Semantic Business Process Management (SBPM) enhances BPM with semantic technologies in order to increase the degree of automation in the BPM lifecycle and help in bridging the ga...
Dimka Karastoyanova, Tammo van Lessen, Frank Leyma...
TLT
2010
143views more  TLT 2010»
13 years 8 months ago
Recommendations in Online Discussion Forums for E-Learning Systems
—In this paper, we outline the importance of discussion fora for e-learning applications. Due to a weak structure or size of the discussion forum, recommendations are required in...
Fabian Abel, Ig Ibert Bittencourt, Evandro de Barr...