Sciweavers

4731 search results - page 757 / 947
» Securing Interactive Programs
Sort
View
HASKELL
2005
ACM
16 years 2 days ago
Haskell ready to dazzle the real world
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
Martijn M. Schrage, Arjan van IJzendoorn, Linda C....
CPAIOR
2005
Springer
16 years 1 days ago
A Search-Infer-and-Relax Framework for Integrating Solution Methods
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
John N. Hooker
ECAL
2005
Springer
16 years 1 days ago
A Computational Model of Cellular Morphogenesis in Plants
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...
Tim Rudge, Jim Haseloff
GPCE
2005
Springer
16 years 1 days ago
A Versatile Kernel for Multi-language AOP
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
Éric Tanter, Jacques Noyé
UM
2005
Springer
15 years 12 months ago
Modeling Suppositions in Users' Arguments
During conversation, people often make assumptions or suppositions that are not explicitly stated. Failure to identify these suppositions may lead to mis-communication. In this pap...
Sarah George, Ingrid Zukerman, Michael Niemann