31387 search results - page 399 / 6278 » Abstracts |
178
click to vote
LPAR
2005
Springer
16 years 1 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...
213
click to vote
MMMACNS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Amongst the challenges of ubiquitous computing is the need to provide management support for personal wireless devices and sensors. In this extended abstract we introduce...
161
click to vote
ECAI
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
160
click to vote
ICCS
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Implementations of parallel dialects (or: coordination languages) on a functional base (or: computation) language always have to extend complex runtime environments by th...
188
click to vote
ADAEUROPE
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. We study two textbooks for teaching undergraduate softineering, both focusing on software design and data abstraction in particular. We describe the differences in their...