335 search results - page 26 / 67 » A Composite Stabilizing Data Structure |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
ICWE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
ISTA
2004
13 years 10 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
Reconstruction of 3D structures from uncalibrated image sequences has a wealthy history. Most work has been focused on rigid objects or static scenes. This paper studies the probl...
TAPSOFT
1997
Springer
14 years 26 days ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...