14165 search results - page 467 / 2833 » The generalized two-server problem |
164
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Nevertheless, aliasing is part of common and efficient programming techniques for expres...
168
click to vote
AMAST
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
145
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We investigate constraint domains in which answers to constraint abduction problems can be represented compactly by a most general answer. We demonstrate several classes ...
176
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
165
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...