Sciweavers

1391 search results - page 154 / 279
» Ensuring data integrity in storage: techniques and applicati...
Sort
View
CIKM
2008
Springer
15 years 8 months ago
Professional credibility: authority on the web
Opinion mining techniques add another dimension to search and summarization technology by actually identifying the author's opinion about a subject, rather than simply identi...
Jack G. Conrad, Jochen L. Leidner, Frank Schilder
UML
2005
Springer
15 years 12 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
JVA
2006
IEEE
16 years 11 days ago
Simulated Annealing for Grid Scheduling Problem
Grid computing is a form of distributed computing that involves coordinating and sharing computing, application, data storage or network resources across dynamic and geographicall...
Stefka Fidanova
SIGMOD
2011
ACM
189views Database» more  SIGMOD 2011»
14 years 9 months ago
We challenge you to certify your updates
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
Su Chen, Xin Luna Dong, Laks V. S. Lakshmanan, Div...
CIKM
2010
Springer
15 years 5 months ago
Clickthrough-based translation models for web search: from word models to phrase models
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...
Jianfeng Gao, Xiaodong He, Jian-Yun Nie