1057 search results - page 131 / 212 » The Carrot Approach: Encouraging Use of Location Systems |
176
click to vote
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
16 years 7 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
190
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
179
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...
161
click to vote
ISCC
2006
IEEE
16 years 9 days ago
2006
IEEE
P2P systems are increasingly used to discover and share various data between users. The performance of a P2P based information retrieval system is determined by the efficiency of...
162
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In DSP processors, minimizing the amount of address calculations is critical for reducing code size and improving performance since studies of programs have shown that in...