1128 search results - page 64 / 226 » Little Engines of Proof |
WACC
1999
ACM
15 years 1 months ago
1999
ACM
Knowledge discovery in databases (KDD) is an increasingly widespread activity. KDD processes may entail the use of a large number of data manipulation and analysis techniques, and...
EUROMICRO
1998
IEEE
15 years 1 months ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
One of the main challenges in distributed development is ensuring effective communication and coordination among the distributed teams. In this context, little attention has been ...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
70
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Reports of applications that include agent-based models of human behaviour tend to focus on the applications themselves and the success of the modelling exercise. They give little...