Sciweavers

1185 search results - page 162 / 237
» Implementing Functional Languages: a tutorial
Sort
View
SIGMOD
1998
ACM
89views Database» more  SIGMOD 1998»
14 years 2 months ago
Secure and Portable Database Extensibility
The functionality of extensible database servers can be augmented by user-de ned functions UDFs. However, the server's security and stability are concerns whenever new code...
Michael W. Godfrey, Tobias Mayr, Praveen Seshadri,...
JNCA
2008
95views more  JNCA 2008»
13 years 10 months ago
Techniques to support Web Service selection and consumption with QoS characteristics
This work proposes a Web Service (WS) discovery model in which the functional and nonfunctional requirements are taken into account during service discovery. The proposed infrastr...
Vassiliki Diamadopoulou, Christos Makris, Yannis P...
POPL
2008
ACM
14 years 10 months ago
Foundations for structured programming with GADTs
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
Patricia Johann, Neil Ghani
POPL
2005
ACM
14 years 10 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
IPSN
2007
Springer
14 years 4 months ago
The regiment macroprogramming system
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
Ryan Newton, Greg Morrisett, Matt Welsh