2954 search results - page 48 / 591 » Beyond |
ISI
2005
Springer
14 years 2 months ago
2005
Springer
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
CSCW
2004
ACM
14 years 2 months ago
2004
ACM
The status quo for co-located groupware is to assume that “social protocols” (standards of polite behavior) are sufficient to coordinate the actions of a group of users; howev...
DOLAP
2004
ACM
14 years 2 months ago
2004
ACM
During the last ten years the approach to business management has deeply changed, and companies have understood the importance of enforcing achievement of the goals defined by the...