9642 search results - page 1659 / 1929 » Semantics in Multimedia Systems |
106
click to vote
WSDM
2012
ACM
13 years 6 months ago
2012
ACM
Studying relationships between keyword tags on social sharing websites has become a popular topic of research, both to improve tag suggestion systems and to discover connections b...
CAV
2009
Springer
15 years 11 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
161
click to vote
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
To compensate for the inherent impedance mismatch between the relational data model (tables of tuples) and XML (ordered, unranked trees), tree join algorithms have become the prev...
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...