1521 search results - page 272 / 305 » Efficient Design Validation Based on Cultural Algorithms |
WWW
2001
ACM
15 years 10 months ago
2001
ACM
Many emerging web and Internet applications are based on a group communications model. Thus, securing group communications is an important Internet design issue. The key graph app...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
We propose a method for computer-based speed writing, SHARK (shorthand aided rapid keyboarding), which augments stylus keyboarding with shorthand gesturing. SHARK defines a shorth...
161
Voted
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
A large part of the data on the World Wide Web is hidden behind form-like interfaces. These interfaces interact with a hidden backend database to provide answers to user queries. ...
93
Voted
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
ICFP
2002
ACM
15 years 9 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...