3440 search results - page 451 / 688 » Logics For Context-Free Languages |
191
click to vote
JELIA
2004
Springer
16 years 18 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
189
click to vote
KI
2004
Springer
16 years 18 days 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...
209
click to vote
TCC
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
210
click to vote
UML
2004
Springer
16 years 17 days 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...
203
click to vote
ATAL
2003
Springer
16 years 14 days ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...