3384 search results - page 442 / 677 » More Testable Properties |
150
click to vote
CSL
2004
Springer
16 years 6 hour ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
204
click to vote
DAWAK
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. In this paper, we propose a novel mining task: mining frequent superset from the database of itemsets that is useful in bioinformatics, e-learning systems, jobshop schedu...
169
click to vote
DSOM
2004
Springer
16 years 5 hour ago
2004
Springer
Resource reservations in advance are a mature concept for the allocation of various resources, particularly in grid environments. Common grid toolkits such as Globus support advanc...
171
click to vote
ESOP
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
187
click to vote
EUROPAR
2004
Springer
16 years 1 hour ago
2004
Springer
High scalability in Peer-to-Peer (P2P) systems has been achieved with the emergence of the networks based on Distributed Hash Table (DHT). Most of the DHTs can be regarded as expon...