9873 search results - page 1668 / 1975 » Emergent Semantics Systems |
125
click to vote
CAV
2009
Springer
16 years 5 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...
211
click to vote
SIGMOD
2007
ACM
16 years 4 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...
130
click to vote
PPOPP
2010
ACM
16 years 1 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...
145
click to vote
EUROSYS
2009
ACM
16 years 1 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...
147
click to vote
BTW
2009
Springer
15 years 11 months ago
2009
Springer
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...