5499 search results - page 273 / 1100 » Generalized Rewrite Theories |
183
click to vote
SIGMETRICS
2006
ACM
16 years 1 months ago
2006
ACM
The Erlang formula is known to be insensitive to the holding time distribution beyond the mean. While calls are generally assumed to arrive as a Poisson process, we prove that it ...
148
click to vote
SAC
2005
ACM
16 years 25 days ago
2005
ACM
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
186
click to vote
ECSQARU
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. In this paper, Ginsberg’s/Fitting’s theory of bilattices is invoked as a natural accommodation and powerful generalization to both intuitionistic fuzzy sets (IFSs) an...
177
click to vote
ISSAC
2005
Springer
16 years 24 days ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
173
click to vote
ICAISC
2004
Springer
16 years 20 days ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...