Sciweavers

97 search results - page 19 / 20
» Knowledge-Based Synthesis of Distributed Systems Using Event...
Sort
View
ISSTA
2009
ACM
14 years 26 days ago
AVA: automated interpretation of dynamically detected anomalies
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
Anton Babenko, Leonardo Mariani, Fabrizio Pastore
EUROPKI
2004
Springer
13 years 10 months ago
On the Synergy Between Certificate Verification Trees and PayTree-like Micropayments
Abstract. A substantial number of micropayment schemes in the literature are based on distributing the cost of a digital signature over several successive micropayments (e.g. Paywo...
Josep Domingo-Ferrer
ICRA
2009
IEEE
128views Robotics» more  ICRA 2009»
14 years 1 months ago
Stable dynamic walking of a quadruped via phase modulations against small disturbances
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...
Christophe Maufroy, Hiroshi Kimura, Kunikatsu Taka...
SIGSOFT
2009
ACM
14 years 7 months ago
Improving bug triage with bug tossing graphs
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
Gaeul Jeong, Sunghun Kim, Thomas Zimmermann
CCS
2009
ACM
14 years 7 months ago
Logging key assurance indicators in business processes
Management of a modern enterprise is based on the assumption that executive reports of lower-layer management are faithful to what is actually happening in the field. As some well...
Fabio Massacci, Gene Tsudik, Artsiom Yautsiukhin