3624 search results - page 469 / 725 » Abstract Algebraic Logic |
157
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
161
click to vote
ARCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
182
click to vote
ILP
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
173
click to vote
KI
2004
Springer
16 years 14 hour ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
191
click to vote
UML
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. The CASE tool ArgoUWE supports the systematic design of Web applications using the UML-based Web Engineering (UWE) approach. The design methodology of UWE is based on a m...