8009 search results - page 36 / 1602 » cans 2005 |
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
We show that delaying fully-expansive proof reconstruction for non-interactive decision procedures can result in a more efficient workflow. In contrast with earlier work, our appr...
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a model under which several inherent properties of the Exponential Age SEarch routing protocol can be derived. By making simplifications on this model, we are able to ...
ACMACE
2005
ACM
15 years 5 months ago
2005
ACM
We study the problem of restricting participation in online games to human players, so they can enjoy the game without interference from automated playing agents known as bots. We...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft int...
WOWMOM
2005
ACM
15 years 5 months ago
2005
ACM
A system structure for adaptive mobile applications is introduced and discussed, together with a compliant architecture and a prototypic implementation. A methodology is also intr...