2509 search results - page 395 / 502 » Abstract Geometrical Computation and Computable Analysis |
180
click to vote
ICCS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
168
Voted
ISPA
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
223
click to vote
ITRUST
2004
Springer
16 years 9 days ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
174
click to vote
DSOM
2003
Springer
16 years 5 days ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
164
Voted
IWPC
2002
IEEE
15 years 12 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...