1555 search results - page 100 / 311 » Using Macromodels to Manage Collections of Related Models |
TIME
2005
IEEE
14 years 4 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
AINA
2006
IEEE
14 years 4 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
NGITS
1997
Springer
14 years 2 months ago
1997
Springer
We propose a new algorithm, called Stripe-join, for performing a join given a join index. Stripe-join is inspired by an algorithm called \Jive-join" developed by Li and Ross....
JMMA
2010
13 years 5 months ago
2010
This paper follows a word-document co-clustering model independently introduced in 2001 by several authors such as I.S. Dhillon, H. Zha and C. Ding. This model consists in creatin...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...