4072 search results - page 367 / 815 » Designing an Optimal Network Using the Cross-Entropy Method |
159
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
158
Voted
FGCS
2007
15 years 4 months ago
2007
— The performance and efficiency of Web Services can be greatly increased in conversational and streaming message exchanges by streaming the message exchange paradigm. In this pa...
135
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
159
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The Frequency Assignment Problem (FAP) is one of the key issues in the design of GSM networks (Global System for Mobile communications), and will remain important in the foreseeab...
139
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
News reports are being produced and disseminated in overwhelming volume, making it difficult to keep up with the newest information. Most previous research in automatic news organ...