Sciweavers

51 search results - page 8 / 11
» On Expressing and Monitoring Behaviour in Contracts
Sort
View
MINENET
2005
ACM
14 years 2 months ago
Identifying BGP routing table transfers
BGP routing updates collected by monitoring projects such as RouteViews and RIPE have been a vital source to our understanding of the global routing system. The updates logged by ...
Beichuan Zhang, Vamsi Kambhampati, Mohit Lad, Dani...
IFIP
2009
Springer
14 years 1 months ago
Supporting Cross-Organizational Process Control
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
Samuil Angelov, Jochem Vonk, Krishnamurthy Vidyasa...
FS
2006
64views more  FS 2006»
13 years 8 months ago
An exact analytical solution for discrete barrier options
In the present paper we provide an analytical solution for pricing discrete barrier options in the Black-Scholes framework. We reduce the valuation problem to a Wiener-Hopf equatio...
Gianluca Fusai, I. David Abrahams, Carlo Sgarra
OSDI
2004
ACM
14 years 8 months ago
FFPF: Fairly Fast Packet Filters
FFPF is a network monitoring framework designed for three things: speed (handling high link rates), scalability (ability to handle multiple applications) and flexibility. Multiple...
Herbert Bos, Willem de Bruijn, Mihai-Lucian Criste...
OOPSLA
2005
Springer
14 years 2 months ago
Relational queries over program traces
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
Simon Goldsmith, Robert O'Callahan, Alexander Aike...