Sciweavers

15811 search results - page 370 / 3163
» Search-based software engineering
Sort
View
COMPSAC
2007
IEEE
15 years 8 months ago
A Method of Requirement Inconsistency Analysis
Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia
COMPSAC
2007
IEEE
15 years 8 months ago
Iterative Planning in the Context of Automated Code Synthesis
Jicheng Fu, Farokh B. Bastani, I-Ling Yen
CISSE
2008
Springer
15 years 8 months ago
Modeling Trust in Wireless Ad-Hoc Networks
Tirthankar Ghosh, Hui Xu
ECSA
2007
Springer
15 years 8 months ago
A Distributed Staged Architecture for Multimodal Applications
Alessandro Costa Pereira, Falk Hartmann, Kay Kadne...
EMSOFT
2008
Springer
15 years 8 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...