165 search results - page 3 / 33 » Type relaxed weaving |
PTS
2010
13 years 4 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
EKAW
2010
Springer
13 years 4 months ago
2010
Springer
In this paper we tackle some of the most pressing obstacles of the emerging Linked Data Web, namely the quality, timeliness and coherence as well as direct end user benefits. We p...
CAV
2006
Springer
13 years 10 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
IUI
2005
ACM
13 years 11 months ago
2005
ACM
CAISE
2005
Springer
13 years 11 months ago
2005
Springer