ACTA
2011
13 years 6 months ago
2011
ACS
2011
13 years 6 months ago
2011
In previous work it was shown that there is an epireflection ψ of the category of all compact normal, joinfit frames, with skeletal maps, in the full subcategory of frames which...
ACS
2011
13 years 6 months ago
2011
ACS
2011
13 years 6 months ago
2011
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...
ACS
2011
13 years 6 months ago
2011
: We show that the category of regular epimorphisms in a Barr exact Goursat category is almost Barr exact in the sense that (it is a regular category and) every regular epimorphism...
ACS
2011
13 years 6 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
DEBU
2010
13 years 7 months ago
2010
The high random and sequential I/O requirements of contemplated workloads could serve as impetus to move faster towards storage-class memory (SCM), a technology that will blur the...
DEBS
2010
ACM
13 years 7 months ago
2010
ACM
Mobile XSiena is a novel publish/subscribe platform which seeks to extend the XSiena content-based publish/subscribe system in order to support user mobility and create an experim...
CONCURRENCY
2010
13 years 7 months ago
2010
CMA
2010
13 years 7 months ago
2010
Complex Multiplication (CM) method is a frequently used method for the generation of elliptic curves (ECs) over a prime field Fp. The most demanding and complex step of this metho...