6054 search results - page 1130 / 1211 » Implementation of Andorra-based Languages |
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
XML schema design has two opposing goals: elimination of update anomalies requires that the schema be as normalized as possible; yet higher query performance and simpler query exp...
WWW
2001
ACM
14 years 10 months ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
CAV
2009
Springer
14 years 9 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...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Database archiving is important for the retrieval of old versions of a database and for temporal queries over the history of data. We demonstrate XArch, a management system for ma...
EUROSYS
2009
ACM
14 years 6 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...