1128 search results - page 1 / 226 » Little Engines of Proof |
LICS
2002
IEEE
13 years 9 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
KBSE
2000
IEEE
13 years 9 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
SIGCOMM
2010
ACM
13 years 4 months ago
2010
ACM
The difficulty of scaling Online Social Networks (OSNs) has introduced new system design challenges that has often caused costly re-architecting for services like Twitter and Face...
ISPW
2006
IEEE
13 years 10 months ago
2006
IEEE
