Sciweavers

15777 search results - page 350 / 3156
» Engineering in Software
Sort
View
119
Voted
FASE
2004
Springer
15 years 10 months ago
A Systematic Methodology for Developing Component Frameworks
Si Won Choi, Soo Ho Chang, Soo Dong Kim
123
Voted
VMCAI
2004
Springer
15 years 10 months ago
Completeness and Complexity of Bounded Model Checking
Edmund M. Clarke, Daniel Kroening, Joël Ouakn...
123
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
Situation-Aware Personalized Information Retrieval for Mobile Internet
Stephen S. Yau, Huan Liu, Dazhi Huang, Yisheng Yao
106
Voted
AC
2003
Springer
15 years 10 months ago
Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks
Miguel Castro, Peter Druschel, Y. Charlie Hu, Anto...
110
Voted
APSEC
2002
IEEE
15 years 10 months ago
A nested invocation suppression mechanism for active replication fault-tolerant CORBA
Deron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengy...