Sciweavers

8 search results - page 1 / 2
» tosem 2010
Sort
View
TOSEM
2010
95views more  TOSEM 2010»
13 years 2 months ago
Types and modularity for implicit invocation with implicit announcement
Friedrich Steimann, Thomas Pawlitzki, Sven Apel, C...
TOSEM
2010
57views more  TOSEM 2010»
13 years 2 months ago
Semantic self-assessment of query results in dynamic environments
Jamie Payton, Christine Julien, Gruia-Catalin Roma...
TOSEM
2010
41views more  TOSEM 2010»
13 years 2 months ago
A verification system for interval-based specification languages
Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew...
TOSEM
2010
95views more  TOSEM 2010»
13 years 2 months ago
Supporting dynamic aspect-oriented features
Nu model provides a higher level of abstraction compared to traditional object-oriented ILs, making it easier to eciently support dynamic AO features. We demonstrate these benets...
Robert Dyer, Hridesh Rajan