Sciweavers

15951 search results - page 319 / 3191
» Lawful software engineering
Sort
View
148
Voted
FASE
2010
Springer
16 years 2 months ago
Shape Refinement through Explicit Heap Analysis
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
139
Voted
CISIS
2009
IEEE
16 years 2 months ago
Federation and Abstraction of Heterogeneous Global Computing Platforms with the YML Framework
Laurent Choy, Olivier Delannoy, Nahid Emad, Serge ...
137
Voted
CISIS
2009
IEEE
16 years 2 months ago
A Secure RFID Authentication Protocol with Low Communication Cost
Mohammad Shahriar Rahman, Masakazu Soshi, Atsuko M...
154
Voted
AOSD
2009
ACM
16 years 2 months ago
Aspect-oriented multi-view modeling
Jörg Kienzle, Wisam Al Abed, Jacques Klein