1604 search results - page 224 / 321 » Development Separation in Lambda-Calculus |
118
Voted
EMO
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents ParadisEO-MOEO, a white-box objectoriented generic framework dedicated to the flexible design of evolutionary multi-objective algorithms. This paradig...
86
Voted
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
79
Voted
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
One of the solutions to deter copyright violations consists of embedding hard to detect watermarks in digital media. Current developments have focused on how to embed watermarks, ...
128
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
129
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...