3513 search results - page 634 / 703 » Super Logic Programs |
WWW
2004
ACM
14 years 9 months ago
2004
ACM
ReAgents are remotely executing agents that customize Web browsing for non-standard resource-limited clients. A reAgent is essentially a "one-shot" mobile agent that act...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
HPCA
2001
IEEE
14 years 9 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...