Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
Robert H. Kewley, James Cook, Niki Goerger, Dale H...
In statistical language modeling, one technique to reduce the problematic effects of data sparsity is to partition the vocabulary into equivalence classes. In this paper we invest...
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuk...
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...