2477 search results - page 173 / 496 » First-Order Interactive Programming |
IJET
2007
13 years 9 months ago
2007
— This paper introduces the Online Customization and Enrollment Application Network (OCEAN), developed in the School of Engineering at the University of Bridgeport. OCEAN is an i...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
CRYPTO
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...