2409 search results - page 64 / 482 » Logical systems for structured specifications |
103
click to vote
CSEE
2000
Springer
15 years 5 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
113
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
120
click to vote
CSL
2001
Springer
15 years 5 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
125
click to vote
POLICY
2001
Springer
15 years 5 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
136
click to vote
DALT
2007
Springer
15 years 2 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...