2347 search results - page 267 / 470 » Location, location, location: a study of bluejacking practic... |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Communication structure is a way of improving the effectiveness of group communications by coordinating group members’ individual efforts. This study investigates the use of Del...
ICDM
2003
IEEE
14 years 1 months ago
2003
IEEE
High dimensional data visualization is critical to data analysts since it gives a direct view of original data. We present a method to visualize large amount of high dimensional d...
VL
2003
IEEE
14 years 1 months ago
2003
IEEE
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...