Sciweavers

8959 search results - page 233 / 1792
» Composing aspects with aspects
Sort
View
ESOP
2010
Springer
16 years 4 months ago
Separating Shape Graphs
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...
Vincent Laviron, Bor-Yuh Evan Chang and Xavier Riv...
AAIM
2008
Springer
119views Algorithms» more  AAIM 2008»
16 years 1 months ago
Engineering Comparators for Graph Clusterings
A promising approach to compare two graph clusterings is based on using measurements for calculating the distance between them. Existing measures either use the structure of cluste...
Daniel Delling, Marco Gaertler, Robert Görke,...
ECOWS
2007
Springer
16 years 24 days ago
Structural Matching of BPEL Processes
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
Rik Eshuis, Paul W. P. J. Grefen
HYBRID
2007
Springer
16 years 24 days ago
The Concept of Deadlock and Livelock in Hybrid Control Systems
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
Alessandro Abate, Alessandro D'Innocenzo, Giordano...
SOFSEM
2007
Springer
16 years 22 days ago
Multimedia Retrieval Algorithmics
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...
Remco C. Veltkamp