4 search results - page 1 / 1 » Plato: A Compiler for Interactive Web Forms |
PADL
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
POPL
2006
ACM
14 years 4 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
WEBNET
1997
13 years 5 months ago
1997
: We are building an infrastructure for the platform-independent distribution and execution of high-performance mobile code as a future Internet technology to complement and perhap...
BMCBI
2005
13 years 4 months ago
2005
Background: Structural and functional research often requires the computation of sets of protein structures based on certain properties of the proteins, such as sequence features,...