3713 search results - page 697 / 743 » Constructing a Calculus of Programs |
SP
2007
IEEE
14 years 4 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents an analysis of microarray gene expression data from patients with and without scleroderma skin disease using computational intelligence and visual data mining ...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— Efficient and scalable live-streaming overlay construction has become a hot topic recently. In order to improve the performance metrics, such as startup delay, source-to-end de...
HRI
2006
ACM
14 years 3 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...
SENSYS
2006
ACM
14 years 3 months ago
2006
ACM
Computing and maintaining network structures for efficient data aggregation incurs high overhead for dynamic events where the set of nodes sensing an event changes with time. Mor...