Sciweavers

15777 search results - page 343 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
APSEC
2006
IEEE
15 years 5 months ago
Safety Analysis for Dynamic Update of Object Oriented Programs
Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi
COMPSAC
2005
IEEE
15 years 5 months ago
Scoped Broadcast in Dynamic Peer-to-Peer Networks
Hung-Chang Hsiao, Chung-Ta King
COMPSAC
2007
IEEE
15 years 5 months ago
A Method of Requirement Inconsistency Analysis
Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia
107
Voted
COMPSAC
2007
IEEE
15 years 5 months ago
Iterative Planning in the Context of Automated Code Synthesis
Jicheng Fu, Farokh B. Bastani, I-Ling Yen
124
Voted
CISSE
2008
Springer
15 years 5 months ago
Modeling Trust in Wireless Ad-Hoc Networks
Tirthankar Ghosh, Hui Xu