Sciweavers

20807 search results - page 135 / 4162
» How to read a paper
Sort
View
IWPSE
2007
IEEE
16 years 24 days ago
How documentation evolves over time
Good source code documentation, especially of programming interfaces, is essential for using and maintaining software components. In this paper, we present the Quasoledo tool that...
Daniel Schreck, Valentin Dallmeier, Thomas Zimmerm...
HVC
2007
Springer
108views Hardware» more  HVC 2007»
16 years 20 days ago
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
David N. Jansen, Joost-Pieter Katoen, Marcel Olden...
IWSEC
2007
Springer
16 years 20 days ago
How to Find Many Collisions of 3-Pass HAVAL
The hash function HAVAL is an Australian extension of well known Merkle-Damg˚ard hash functions such as MD4 and MD5. It has three variants, 3-, 4- and 5-pass HAVAL. On 3-pass HAVA...
Kazuhiro Suzuki, Kaoru Kurosawa
PERSUASIVE
2007
Springer
16 years 19 days ago
The Behavior Chain for Online Participation: How Successful Web Services Structure Persuasion
The success of many online services today depends on the company’s ability to persuade users to take specific actions, such as registering or inviting friends. We examined over 5...
B. J. Fogg, Dean Eckles
SEMWEB
2007
Springer
16 years 19 days ago
How Useful Are Natural Language Interfaces to the Semantic Web for Casual End-Users?
Natural language interfaces offer end-users a familiar and convenient option for querying ontology-based knowledge bases. Several studies have shown that they can achieve high ret...
Esther Kaufmann, Abraham Bernstein