45 search results - page 6 / 9 » Encoding Information Flow in Haskell |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
23
Voted
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
COLING
1992
13 years 8 months ago
1992
The main purpose of communication is to exchange information. Any discourse understanding model should be able to process the flow of information throughout the entire text. Accor...
SIPS
2006
IEEE
14 years 1 months ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
As the size of an RFID tag becomes smaller and the price of the tag gets lower, RFID technology has been applied to a wide range of areas. Recently, RFID has been adopted in the b...