3201 search results - page 476 / 641 » High Quality Hatching |
FTRTFT
2000
Springer
13 years 11 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
This paper discusses the issues that arise in the design and implementation of an industrialstrength evolutionary-based system for the optimization of the monthly work schedules f...
ICC
2000
IEEE
13 years 11 months ago
2000
IEEE
Wireless ad-hoc networks consist of mobile nodes forming a dynamically changing topology without any infrastructure. Multicasting in a wireless ad-hoc network is difficult and chal...
ICDCS
2000
IEEE
13 years 11 months ago
2000
IEEE
Widely deployed multimedia services are expected to accommodate clients in a highly heterogeneous environment. Clients of a multimedia service may vary greatly in processing and c...
PATAT
2000
Springer
13 years 11 months ago
2000
Springer
The main aim of this paper is to consider university examination timetabling problems as multicriteria decision problems. A new multicriteria approach to solving such problems is p...