3575 search results - page 221 / 715 » Modeling Concurrency with Geometry |
187
Voted
ISPE
2003
15 years 7 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
188
click to vote
TIME
2009
IEEE
16 years 26 days ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
160
click to vote
ACCV
2009
Springer
16 years 22 days ago
2009
Springer
The method based on local features has an advantage that the important local motion feature is represented as bag-of-features, but lacks the location information. Additionally, in ...
148
click to vote
WDAG
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
160
click to vote
TLCA
2009
Springer
16 years 20 days ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...