Search Sciweavers | Sciweavers

15777 search results - page 350 / 3156

» Engineering in Software

146

click to vote

FASE
2004
Springer

103views Software Engineering» more FASE 2004»

A Systematic Methodology for Developing Component Frameworks

16 years 4 days ago

Download soft.ssu.ac.kr

Si Won Choi, Soo Ho Chang, Soo Dong Kim

claim paper

Read More »

142

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 2 days ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

144

click to vote

COMPSAC
2003
IEEE

87views Software Engineering» more COMPSAC 2003»

Situation-Aware Personalized Information Retrieval for Mobile Internet

16 years 1 days ago

Download dpse.eas.asu.edu

Stephen S. Yau, Huan Liu, Dazhi Huang, Yisheng Yao

claim paper

Read More »

125

click to vote

AC
2003
Springer

80views Software Engineering» more AC 2003»

Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks

15 years 12 months ago

Download gnunet.org

Miguel Castro, Peter Druschel, Y. Charlie Hu, Anto...

claim paper

Read More »

142

click to vote

APSEC
2002
IEEE

81views Software Engineering» more APSEC 2002»

A nested invocation suppression mechanism for active replication fault-tolerant CORBA

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers