4158 search results - page 406 / 832 » A Framework for Web Science |
169
click to vote
ADC
2003
Springer
16 years 2 days ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
180
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Nonnegative and compartmental models are widespread in engineering systems and life sciences and play a key role in the understanding of these systems. In this paper, we develop a...
193
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
177
click to vote
WAW
2009
Springer
16 years 1 months ago
2009
Springer
Since the first investigations on web graph compression, it has been clear that the ordering of the nodes of the graph has a fundamental influence on the compression rate (usuall...
181
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...