3179 search results - page 379 / 636 » Applications of PCF Theory |
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
ISW
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Recommendation systems are widely used on the Internet to assist customers in finding the products or services that best fit with their individual preferences. While current imple...
ICAT
2006
IEEE
14 years 3 months ago
2006
IEEE
When a fault such as unbalance occurs in a turbo-generator set, sensors should be put on its bearing to detect vibration signals for extracting fault symptoms, but the relationshi...
IEEECGIV
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we draw attention to some recent advances in fractal geometry and point out several ways in which they apply to digital imaging. Simple applications include a method...