3865 search results - page 441 / 773 » From Bidirectionality to Alternation |
169
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
Topological relationships between spatial objects are an essential property of spatial objects. They are used for spatial analysis and query processing. In this paper, we first i...
179
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
202
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Pervasive environments can be hard to configure and interact with using handheld computing devices, due to the mismatch between physical and digital worlds. Usually, smart resourc...
163
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Security requirements often have implicit assumptions about trust relationships among actors. The more actors trust each other, the less stringent the security requireme...
180
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
Congestion games—in which players strategically choose from a set of “resources” and derive utilities that depend on the congestion on each resource— are important in a wid...