Sciweavers

423 search results - page 59 / 85
» On Term Rewriting Systems Having a Rational Derivation
Sort
View
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 3 months ago
A Formal Approach towards Assessing the Effectiveness of Anti-Spam Procedures
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
Guido Schryen
JCDL
2010
ACM
155views Education» more  JCDL 2010»
15 years 2 months ago
Scholarly paper recommendation via user's recent research interests
We examine the effect of modeling a researcher’s past works in recommending scholarly papers to the researcher. Our hypothesis is that an author’s published works constitute a...
Kazunari Sugiyama, Min-Yen Kan
DLS
2009
150views Languages» more  DLS 2009»
14 years 7 months ago
Fast type reconstruction for dynamically typed programming languages
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
Frédéric Pluquet, Antoine Marot, Roe...
HICSS
2006
IEEE
150views Biometrics» more  HICSS 2006»
15 years 3 months ago
E-Government Evaluation: Reflections on Two Organisational Studies
Senior executives in public sector organisations have been charged with delivering an e-Government agenda. A key emerging area of research is that of the evaluation of e-Governmen...
Stephen Jones, Zahir Irani, Amir M. Sharif, Marino...
ICAIL
2007
ACM
15 years 1 months ago
How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
Luca Compagna, Paul El Khoury, Fabio Massacci, Res...