6274 search results - page 629 / 1255 » Proofs, Programs, Processes |
243
click to vote
UCS
2007
Springer
16 years 1 months ago
2007
Springer
Recognizing activities based on an actor’s interaction with everyday objects is an important research approach within ubiquitous computing. We present a recognition approach whic...
189
click to vote
ACSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
217
click to vote
ICNP
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
231
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
193
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— Neuronal morphology plays a crucial role in the information processing capabilities of neurons. Despite the importance of morphology for neural functionality, biological data i...