2334 search results - page 388 / 467 » How are Real Grids Used |
111
Voted
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent s...
116
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
116
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Mobile ad hoc networks are typically designed and evaluated in generic simulation environments. However the real conditions in which these networks are deployed can be quite diff...
154
Voted
IQIS
2004
ACM
15 years 9 months ago
2004
ACM
Information integration is often faced with the problem that different data sources represent the same set of the real-world objects, but give conflicting values for specific prop...
97
Voted
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to deter...