1805 search results - page 9 / 361 » A Theory of Closure Operators |
RTA
2005
Springer
15 years 5 months ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
108
click to vote
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
132
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
DEDS
2008
14 years 11 months ago
2008
Network calculus offers powerful tools to analyze the performances in communication networks, in particular to obtain deterministic bounds. This theory is based on a strong mathema...
104
click to vote
LISA
2004
15 years 1 months ago
2004
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...