Sciweavers

8 search results - page 1 / 2
» tosem 2010
Sort
View
86
Voted
TOSEM
2010
95views more  TOSEM 2010»
14 years 10 months ago
Types and modularity for implicit invocation with implicit announcement
Friedrich Steimann, Thomas Pawlitzki, Sven Apel, C...
TOSEM
2010
57views more  TOSEM 2010»
14 years 10 months ago
Semantic self-assessment of query results in dynamic environments
Jamie Payton, Christine Julien, Gruia-Catalin Roma...
72
Voted
TOSEM
2010
41views more  TOSEM 2010»
14 years 10 months ago
A verification system for interval-based specification languages
Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew...
81
Voted
TOSEM
2010
95views more  TOSEM 2010»
14 years 10 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