5639 search results - page 994 / 1128 » Timed Abstract Non-interference |
115
click to vote
ADHOCNOW
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Robots coordinate among themselves to select one of them to respond to an event reported to one of robots. The goal is to minimize the communication cost of selecting bes...
142
click to vote
W2GIS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A review is provided of some database and representation issues involved in the implementation of geographic information systems (GIS). The increasing popularity of web-b...
142
Voted
IWCIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper, we address the problem of computing a canonical representation of an n-dimensional combinatorial map. To do so, we define two combinatorial map signatures...
142
click to vote
UM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
125
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...