9110 search results - page 1547 / 1822 » Formally-Based Design Evaluation |
135
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
Wireless 802.11 hotspots have grown in an uncoordinated fashion with highly variable deployment densities. Such uncoordinated deployments, coupled with the difficulty of implemen...
149
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Lexical chaining is a technique for identifying semanticallyrelated terms in text. We propose concept chaining to link semantically-related concepts within biomedical text togethe...
136
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed systems with multiple interacting services, such as distributed e-commerce systems, are suitable targets for malicious attacks because of the potential financial impac...
191
click to vote
ISCA
2005
IEEE
15 years 10 months ago
2005
IEEE
With the ability to place large numbers of transistors on a single silicon chip, manufacturers have begun developing chip multiprocessors (CMPs) containing multiple processor core...
136
click to vote
MUM
2005
ACM
15 years 10 months ago
2005
ACM
We present PhoneGuide – an enhanced museum guidance approach that uses camera-equipped mobile phones and on-device object recognition. Our main technical achievement is a simple...