445 search results - page 38 / 89 » A Systematic Construction of Abstract Domains |
WETICE
2006
IEEE
14 years 2 months ago
2006
IEEE
The incorporation of exception handling strategies in mobile collaborative applications bring several challenges to middleware designers due to their intrinsic characteristics of ...
COMBINATORICS
2004
13 years 8 months ago
2004
We describe an adaptation of the billiard algorithm for finding dense packings of equal spheres inside a domain of the euclidean space. In order to improve the convergence of this...
HPCA
2003
IEEE
14 years 9 months ago
2003
IEEE
As the level of chip integration continues to advance at a fast pace, the desire for efficient interconnects-whether on-chip or off-chip--is rapidly increasing. Traditional interc...
WSDM
2010
ACM
14 years 6 months ago
2010
ACM
We describe an approach for multi-modal characterization of social media by combining text features (e.g. tags as a prominent example of short, unstructured text labels) with spat...
RE
2005
Springer
14 years 2 months ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...