4061 search results - page 612 / 813 » Routing Using Geospatial Information System Analysis |
172
click to vote
ENTCS
2002
15 years 6 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
294
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
The relationship between social sharing of emotions, social networks and social ties is an ongoing topic of research. Such sharing of emotions occurs frequently in “social aware...
167
Voted
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Networks utilizing modern communication technologies can offer competitive advantages to those using them wisely. But due to the existence of network effects, planning and operati...
150
click to vote
USAB
2007
15 years 7 months ago
2007
Information Visualization (InfoVis) techniques can offer a valuable contribution for the examination of medical data. We successfully developed an InfoVis application – Gravi –...
175
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...