805 search results - page 32 / 161 » C-Meter: A Framework for Performance Analysis of Computing C... |
ACSC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
INFORMATICALT
2007
13 years 8 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
ICSM
1994
IEEE
14 years 23 days ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
ICCV
1998
IEEE
14 years 10 months ago
1998
IEEE
We devise a statistical framework for edge detection by performing a statistical analysis of zero crossings of the second derivative of an image. This analysis enables us to estim...
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...