Sciweavers

7971 search results - page 218 / 1595
» On unbounded operators and applications
Sort
View
JFP
2008
85views more  JFP 2008»
15 years 6 months ago
Applicative programming with effects
In this paper, we introduce Applicative functors--an abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread. it i...
Conor McBride, Ross Paterson
DBSEC
2000
95views Database» more  DBSEC 2000»
15 years 7 months ago
Wrappers - a mechanism to support state-based authorisation in Web applications
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
Martin S. Olivier, Ehud Gudes
SIGMOD
2002
ACM
91views Database» more  SIGMOD 2002»
16 years 6 months ago
Phoenix Project: Fault-Tolerant Applications
After a system crash, databases recover to the last committed transaction, but applications usually either crash or cannot continue. The Phoenix purpose is to enable application s...
Roger S. Barga, David B. Lomet
SIGMOD
2003
ACM
196views Database» more  SIGMOD 2003»
16 years 6 months ago
Aurora: A Data Stream Management System
The Aurora system [1] is an experimental data stream management system with a fully functional prototype. It includes both a graphical development environment, and a runtime syste...
Daniel J. Abadi, Donald Carney, Ugur Çetint...
AFRIGRAPH
2004
ACM
15 years 12 months ago
The visualisation of application delay metrics for a customer network
– Application services are fundamental network components that allow organizations the ability to operate efficiently. It has become essential for organizations to monitor the pe...
Janet Wesson, Darelle van Greunen, Justin Rademan