3218 search results - page 279 / 644 » Timed Extensions for SDL |
175
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
284
click to vote
SLS
2009
Springer
15 years 11 months ago
2009
Springer
The Multidimensional Assignment Problem (MAP or s-AP in the case of s dimensions) is an extension of the well-known assignment problem. The most studied case of MAP is 3-AP, though...
147
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
150
Voted
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
Phonetic speech retrieval is used to augment word based retrieval in spoken document retrieval systems, for in and out of vocabulary words. In this paper, we present a new indexin...
175
click to vote
PACT
2001
Springer
15 years 11 months ago
2001
Springer
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...