29147 search results - page 5461 / 5830 » System Modeling Resurrected |
257
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
160
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Online dating is a popular new tool for initiating romantic relationships, although recent research and media reports suggest that it may also be fertile ground for deception. Unl...
212
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Every user has a distinct background and a specific goal when searching for information on the Web. The goal of Web search personalization is to tailor search results to a particu...
185
Voted
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Internet interdomain routing is policy-driven, and thus physical connectivity does not imply reachability. On average, routing on today's Internet works quite well, ensuring ...
172
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...