3179 search results - page 59 / 636 » Applications of PCF Theory |
CADE
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
SOFSEM
2010
Springer
14 years 5 months ago
2010
Springer
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. The purpose of clock synchronization is to provide the con...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Social virtual worlds (SVWs) have become increasingly popular spaces for social interaction. To be attractive to engage with, maintaining a sufficient base of active users is a si...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
VL
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...