1159 search results - page 158 / 232 » On relevance distributions |
156
click to vote
PVM
2007
Springer
16 years 9 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
167
click to vote
ICARCV
2006
IEEE
16 years 7 days ago
2006
IEEE
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
179
click to vote
ICMB
2006
IEEE
16 years 7 days ago
2006
IEEE
Clinical studies are often conducted as multi-centered studies involving participants at different locations. Thus it becomes obvious that using mobile platforms and remote data e...
164
click to vote
ICPADS
2006
IEEE
16 years 7 days ago
2006
IEEE
Peer-to-Peer (P2P) systems are characterized by direct access between peer computers, rather than through a centralized server. File sharing is the dominant P2P application on the...
141
click to vote
ISCC
2006
IEEE
16 years 6 days ago
2006
IEEE
The rapid diffusion of heterogeneous forms of wireless connectivity is pushing the tremendous growth of the commercial interest in mobile services, i.e., distributed applications ...