Sciweavers

4963 search results - page 169 / 993
» Implementing a Categorical Information System
Sort
View
ESOP
2010
Springer
16 years 3 months ago
Enforcing Stateful Authorization and Information Flow Policies in Fine
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
Nikhil Swamy, Juan Chen and Ravi Chugh
IWRIDL
2006
ACM
180views Education» more  IWRIDL 2006»
16 years 14 days ago
Multilingual information access: the contribution of evaluation
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
Carol Peters
MMMACNS
2005
Springer
16 years 5 hour ago
Prevention of Information Attacks by Run-Time Detection of Self-replication in Computer Codes
This paper describes a novel approach for preventative protection from both known and previously unknown malicious software. It does not rely on screening the code for signatures ...
Douglas H. Summerville, Victor A. Skormin, Alexand...
FQAS
2006
Springer
136views Database» more  FQAS 2006»
15 years 10 months ago
Robust Query Processing for Personalized Information Access on the Semantic Web
Abstract. Research in Cooperative Query answering is triggered by the observation that users are often not able to correctly formulate queries to databases that return the intended...
Peter Dolog, Heiner Stuckenschmidt, Holger Wache
CAISE
2009
Springer
16 years 1 months ago
Pattern Mining in System Logs: Opportunities for Process Improvement
Enterprise systems implementations are often accompanied by changes in the business processes of the organizations in which they take place. However, not all the changes are desira...
Dolev Mezebovsky, Pnina Soffer, Ilan Shimshoni