Sciweavers

3575 search results - page 221 / 715
» Modeling Concurrency with Geometry
Sort
View
187
Voted
ISPE
2003
15 years 7 months ago
Task-oriented engineering of coordinated software systems
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 ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
TIME
2009
IEEE
16 years 26 days ago
Preserving Anonymity of Recurrent Location-Based Queries
—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...
Daniele Riboni, Linda Pareschi, Claudio Bettini, S...
ACCV
2009
Springer
16 years 22 days ago
Human Action Recognition Using HDP by Integrating Motion and Location Information
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 ...
Yasuo Ariki, Takuya Tonaru, Tetsuya Takiguchi
WDAG
2009
Springer
77views Algorithms» more  WDAG 2009»
16 years 21 days ago
Nonblocking Algorithms and Backward Simulation
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
Simon Doherty, Mark Moir
TLCA
2009
Springer
16 years 20 days ago
Partial Orders, Event Structures and Linear Strategies
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 ...
Claudia Faggian, Mauro Piccolo