3201 search results - page 476 / 641 » High Quality Hatching |
122
click to vote
FTRTFT
2000
Springer
15 years 6 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 ...
126
click to vote
GECCO
2000
Springer
15 years 6 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...
180
click to vote
ICC
2000
IEEE
15 years 6 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...
135
click to vote
ICDCS
2000
IEEE
15 years 6 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...
103
click to vote
PATAT
2000
Springer
15 years 6 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...