Sciweavers

16725 search results - page 405 / 3345
» Engineering Software Correctness
Sort
View
COMPSAC
2002
IEEE
16 years 16 days ago
The Cooperative Web: A Complement to the Semantic Web
Daniel Gayo-Avello, Darío Álvarez Gu...
148
Voted
COMPSAC
2002
IEEE
16 years 16 days ago
Metamorphic Testing of Programs on Partial Differential Equations: A Case Study
Tsong Yueh Chen, Jianqiang Feng, T. H. Tse
COMPSAC
2002
IEEE
16 years 16 days ago
An Application Framework for TCP/IP Applications
Atsushi Kumazaki, Masami Noro, Han-Myung Chang, Yo...
108
Voted
COMPSAC
2002
IEEE
16 years 16 days ago
Distributed Checkpointing Using Synchronized Clocks
Sarmistha Neogy, Anupam Sinha, Pradip Kumar Das