1893 search results - page 98 / 379 » Computational composites |
128
click to vote
PODC
1995
ACM
15 years 8 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
158
Voted
PERVASIVE
2008
Springer
15 years 4 months ago
2008
Springer
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...
145
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
This paper presents preliminary results on anonymization and obfuscation techniques to preserve users' privacy in context-aware service provisioning. The techniques are based...
140
click to vote
FCT
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
122
Voted
PDCN
2004
15 years 6 months ago
2004
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...